0.00/0.00 c Parsing...
0.22/0.22 c ==============================================================================
0.22/0.22 c | | ORIGINAL | LEARNT | |
0.22/0.22 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.22/0.22 c ==============================================================================
0.22/0.22 c | 0 | 330948 988222 | 99284 0 0 nan | 0.000 % |
4.62/4.70 c | 0 | 329509 1447248 | -- 0 -- -- | -- | -1439/459026
4.62/4.70 c ==============================================================================
4.62/4.70 c Result : #vars: 2029 #clauses: 329509 #literals: 1447248
4.62/4.70 c CPU time: 4.65 s
4.62/4.70 c ==============================================================================
5.12/5.14 c This is MiniSat 2.0 beta
5.12/5.14 c WARNING: for repeatability, setting FPU to use double precision
5.12/5.14 c ============================[ Problem Statistics ]=============================
5.12/5.14 c | |
5.12/5.14 c | Number of variables: 2029 |
5.12/5.14 c | Number of clauses: 329509 |
5.14/5.34 c | Parsing time: 0.16 s |
5.14/5.36 c ============================[ Search Statistics ]==============================
5.14/5.36 c | Conflicts | ORIGINAL | LEARNT | Progress |
5.14/5.36 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.14/5.36 c ===============================================================================
5.14/5.36 c | 0 | 2029 329509 1447248 | 109836 0 nan | 0.000 % |
5.42/5.51 c | 100 | 2029 329509 1447248 | 109836 100 58 | 0.000 % |
5.62/5.64 c | 201 | 2029 329509 1447248 | 109836 201 70 | 0.000 % |
5.72/5.77 c | 302 | 2029 329509 1447248 | 109836 302 71 | 0.000 % |
5.82/5.88 c | 412 | 2029 329509 1447248 | 109836 412 72 | 0.000 % |
5.92/5.98 c | 512 | 2029 329509 1447248 | 109836 512 75 | 0.000 % |
6.02/6.10 c | 622 | 2029 329509 1447248 | 109836 622 78 | 0.000 % |
6.22/6.23 c | 744 | 2029 329509 1447248 | 109836 744 79 | 0.000 % |
6.32/6.33 c | 846 | 2029 329509 1447248 | 109836 846 81 | 0.000 % |
6.42/6.45 c | 960 | 2029 329509 1447248 | 109836 960 82 | 0.000 % |
6.52/6.56 c | 1081 | 2029 329509 1447248 | 109836 1081 84 | 0.000 % |
6.63/6.70 c | 1215 | 2029 329509 1447248 | 109836 1215 84 | 0.000 % |
6.72/6.81 c | 1315 | 2029 329509 1447248 | 109836 1315 84 | 0.000 % |
6.82/6.90 c | 1427 | 2029 329509 1447248 | 109836 1427 86 | 0.000 % |
6.92/6.99 c | 1548 | 2029 329509 1447248 | 109836 1548 87 | 0.000 % |
7.12/7.13 c | 1683 | 2029 329509 1447248 | 109836 1683 88 | 0.000 % |
7.22/7.24 c | 1829 | 2029 329509 1447248 | 109836 1829 88 | 0.000 % |
7.32/7.37 c | 1929 | 2029 329509 1447248 | 109836 1929 87 | 0.000 % |
7.42/7.47 c | 2040 | 2029 329509 1447248 | 109836 2040 87 | 0.000 % |
7.52/7.61 c | 2161 | 2029 329509 1447248 | 109836 2161 87 | 0.000 % |
7.62/7.72 c | 2295 | 2029 329509 1447248 | 109836 2295 87 | 0.000 % |
7.82/7.87 c | 2446 | 2029 329509 1447248 | 109836 2446 88 | 0.000 % |
8.02/8.05 c | 2607 | 2029 329509 1447248 | 109836 2607 88 | 0.000 % |
8.12/8.18 c | 2711 | 2029 329509 1447248 | 109836 2711 88 | 0.000 % |
8.22/8.25 c | 2822 | 2029 329509 1447248 | 109836 2822 89 | 0.000 % |
8.32/8.37 c | 2944 | 2029 329509 1447248 | 109836 2944 89 | 0.000 % |
8.52/8.52 c | 3079 | 2029 329509 1447248 | 109836 3079 90 | 0.000 % |
8.62/8.69 c | 3225 | 2029 329509 1447248 | 109836 3225 90 | 0.000 % |
8.83/8.84 c | 3385 | 2029 329509 1447248 | 109836 3385 91 | 0.000 % |
8.92/8.95 c | 3561 | 2029 329509 1447248 | 109836 3561 91 | 0.000 % |
9.02/9.03 c | 3662 | 2029 329509 1447248 | 109836 3662 91 | 0.000 % |
9.12/9.15 c | 3772 | 2029 329509 1447248 | 109836 3772 91 | 0.000 % |
9.22/9.27 c | 3893 | 2029 329509 1447248 | 109836 3893 92 | 0.000 % |
9.32/9.41 c | 4026 | 2029 329509 1447248 | 109836 4026 92 | 0.000 % |
9.52/9.55 c | 4172 | 2029 329509 1447248 | 109836 4172 92 | 0.000 % |
9.62/9.69 c | 4334 | 2029 329509 1447248 | 109836 4334 93 | 0.000 % |
9.82/9.83 c | 4510 | 2029 329509 1447248 | 109836 4510 94 | 0.000 % |
9.93/9.96 c | 4705 | 2029 329509 1447248 | 109836 4705 95 | 0.000 % |
10.02/10.06 c | 4805 | 2029 329509 1447248 | 109836 4805 95 | 0.000 % |
10.12/10.17 c | 4915 | 2029 329509 1447248 | 109836 4915 95 | 0.000 % |
10.22/10.30 c | 5036 | 2029 329509 1447248 | 109836 5036 95 | 0.000 % |
10.42/10.46 c | 5170 | 2029 329509 1447248 | 109836 5170 95 | 0.000 % |
10.52/10.60 c | 5316 | 2029 329509 1447248 | 109836 5316 95 | 0.000 % |
10.72/10.74 c | 5478 | 2029 329509 1447248 | 109836 5478 96 | 0.000 % |
10.82/10.89 c | 5654 | 2029 329509 1447248 | 109836 5654 96 | 0.000 % |
11.03/11.06 c | 5853 | 2029 329509 1447248 | 109836 5853 98 | 0.000 % |
11.22/11.24 c | 6066 | 2029 329509 1447248 | 109836 6066 98 | 0.000 % |
11.32/11.39 c | 6166 | 2029 329509 1447248 | 109836 6166 98 | 0.000 % |
11.52/11.53 c | 6276 | 2029 329509 1447248 | 109836 6276 98 | 0.000 % |
11.62/11.64 c | 6397 | 2029 329509 1447248 | 109836 6397 99 | 0.000 % |
11.72/11.75 c | 6532 | 2029 329509 1447248 | 109836 6532 99 | 0.000 % |
11.92/11.93 c | 6681 | 2029 329509 1447248 | 109836 6681 99 | 0.000 % |
12.02/12.09 c | 6842 | 2029 329509 1447248 | 109836 6842 99 | 0.000 % |
12.22/12.27 c | 7020 | 2029 329509 1447248 | 109836 7020 100 | 0.000 % |
12.42/12.48 c | 7214 | 2029 329509 1447248 | 109836 7214 101 | 0.000 % |
12.62/12.70 c | 7429 | 2029 329509 1447248 | 109836 7429 101 | 0.000 % |
12.92/12.94 c | 7662 | 2029 329509 1447248 | 109836 7662 101 | 0.000 % |
13.02/13.06 c | 7762 | 2029 329509 1447248 | 109836 7762 101 | 0.000 % |
13.12/13.16 c | 7872 | 2029 329509 1447248 | 109836 7872 101 | 0.000 % |
13.23/13.29 c | 7996 | 2029 329509 1447248 | 109836 7996 101 | 0.000 % |
13.32/13.40 c | 8129 | 2029 329509 1447248 | 109836 8129 101 | 0.000 % |
13.52/13.56 c | 8275 | 2029 329509 1447248 | 109836 8275 101 | 0.000 % |
13.62/13.71 c | 8435 | 2029 329509 1447248 | 109836 8435 101 | 0.000 % |
13.82/13.85 c | 8611 | 2029 329509 1447248 | 109836 8611 101 | 0.000 % |
14.02/14.02 c | 8804 | 2029 329509 1447248 | 109836 8804 101 | 0.000 % |
14.22/14.25 c | 9018 | 2029 329509 1447248 | 109836 9018 102 | 0.000 % |
14.42/14.46 c | 9253 | 2029 329509 1447248 | 109836 9253 102 | 0.000 % |
14.72/14.71 c | 9510 | 2029 329509 1447248 | 109836 9510 102 | 0.000 % |
14.82/14.83 c | 9610 | 2029 329509 1447248 | 109836 9610 102 | 0.000 % |
14.92/14.92 c | 9720 | 2029 329509 1447248 | 109836 9720 103 | 0.000 % |
15.02/15.05 c | 9841 | 2029 329509 1447248 | 109836 9841 103 | 0.000 % |
15.12/15.15 c | 9974 | 2029 329509 1447248 | 109836 9974 103 | 0.000 % |
15.22/15.29 c | 10122 | 2029 329509 1447248 | 2147483647 10122 103 | 0.000 % |
15.32/15.39 c | 10283 | 2029 329509 1447248 | 2147483647 10283 103 | 0.000 % |
15.52/15.56 c | 10459 | 2029 329509 1447248 | 2147483647 10459 103 | 0.000 % |
15.72/15.73 c | 10653 | 2029 329509 1447248 | 2147483647 10653 104 | 0.000 % |
15.92/15.96 c | 10866 | 2029 329509 1447248 | 2147483647 10866 103 | 0.000 % |
16.22/16.28 c | 11099 | 2029 329509 1447248 | 2147483647 11099 104 | 0.000 % |
16.42/16.49 c | 11356 | 2029 329509 1447248 | 2147483647 11356 104 | 0.000 % |
16.62/16.71 c | 11638 | 2029 329509 1447248 | 2147483647 11638 104 | 0.000 % |
16.82/16.84 c | 11738 | 2029 329509 1447248 | 2147483647 11738 104 | 0.000 % |
16.92/16.96 c | 11849 | 2029 329509 1447248 | 2147483647 11849 104 | 0.000 % |
17.02/17.08 c | 11970 | 2029 329509 1447248 | 2147483647 11970 104 | 0.000 % |
17.22/17.24 c | 12104 | 2029 329509 1447248 | 2147483647 12104 104 | 0.000 % |
17.32/17.38 c | 12250 | 2029 329509 1447248 | 2147483647 12250 104 | 0.000 % |
17.42/17.47 c | 12410 | 2029 329509 1447248 | 2147483647 12410 105 | 0.000 % |
17.63/17.63 c | 12586 | 2029 329509 1447248 | 2147483647 12586 104 | 0.000 % |
17.82/17.81 c | 12779 | 2029 329509 1447248 | 2147483647 12779 106 | 0.000 % |
18.02/18.02 c | 12991 | 2029 329509 1447248 | 2147483647 12991 106 | 0.000 % |
18.22/18.25 c | 13226 | 2029 329509 1447248 | 2147483647 13226 106 | 0.000 % |
18.42/18.50 c | 13484 | 2029 329509 1447248 | 2147483647 13484 106 | 0.000 % |
18.62/18.70 c | 13765 | 2029 329509 1447248 | 2147483647 13765 106 | 0.000 % |
19.02/19.01 c | 14074 | 2029 329509 1447248 | 2147483647 14074 107 | 0.000 % |
19.12/19.14 c | 14175 | 2029 329509 1447248 | 2147483647 14175 108 | 0.000 % |
19.22/19.23 c | 14285 | 2029 329509 1447248 | 2147483647 14285 108 | 0.000 % |
19.32/19.34 c | 14406 | 2029 329509 1447248 | 2147483647 14406 108 | 0.000 % |
19.52/19.52 c | 14541 | 2029 329509 1447248 | 2147483647 14541 108 | 0.000 % |
19.62/19.68 c | 14687 | 2029 329509 1447248 | 2147483647 14687 108 | 0.000 % |
19.72/19.79 c | 14847 | 2029 329509 1447248 | 2147483647 14847 108 | 0.000 % |
19.92/19.99 c | 15024 | 2029 329509 1447248 | 2147483647 15024 108 | 0.000 % |
20.12/20.15 c | 15217 | 2029 329509 1447248 | 2147483647 15217 108 | 0.000 % |
20.32/20.34 c | 15430 | 2029 329509 1447248 | 2147483647 15430 108 | 0.000 % |
20.52/20.51 c | 15664 | 2029 329509 1447248 | 2147483647 15664 107 | 0.000 % |
20.62/20.68 c | 15920 | 2029 329509 1447248 | 2147483647 15920 107 | 0.000 % |
20.93/20.95 c | 16201 | 2029 329509 1447248 | 2147483647 16201 108 | 0.000 % |
21.42/21.49 c | 16513 | 2029 329509 1447248 | 2147483647 16513 107 | 0.000 % |
21.82/21.91 c | 16853 | 2029 329509 1447248 | 2147483647 16853 108 | 0.000 % |
21.92/22.02 c | 16954 | 2029 329509 1447248 | 2147483647 16954 108 | 0.000 % |
22.12/22.12 c | 17065 | 2029 329509 1447248 | 2147483647 17065 108 | 0.000 % |
22.22/22.30 c | 17186 | 2029 329509 1447248 | 2147483647 17186 108 | 0.000 % |
22.52/22.51 c | 17319 | 2029 329509 1447248 | 2147483647 17319 108 | 0.000 % |
22.62/22.71 c | 17469 | 2029 329509 1447248 | 2147483647 17469 108 | 0.000 % |
22.82/22.90 c | 17630 | 2029 329509 1447248 | 2147483647 17630 108 | 0.000 % |
23.02/23.08 c | 17807 | 2029 329509 1447248 | 2147483647 17807 108 | 0.000 % |
23.22/23.29 c | 18000 | 2029 329509 1447248 | 2147483647 18000 108 | 0.000 % |
23.52/23.51 c | 18214 | 2029 329509 1447248 | 2147483647 18214 108 | 0.000 % |
23.72/23.71 c | 18447 | 2029 329509 1447248 | 2147483647 18447 108 | 0.000 % |
24.02/24.03 c | 18704 | 2029 329509 1447248 | 2147483647 18704 108 | 0.000 % |
24.23/24.30 c | 18986 | 2029 329509 1447248 | 2147483647 18986 108 | 0.000 % |
24.62/24.64 c | 19296 | 2029 329509 1447248 | 2147483647 19296 108 | 0.000 % |
24.82/24.86 c | 19635 | 2029 329509 1447248 | 2147483647 19635 109 | 0.000 % |
25.22/25.24 c | 20007 | 2029 329509 1447248 | 2147483647 20007 109 | 0.000 % |
25.42/25.41 c | 20107 | 2029 329509 1447248 | 2147483647 20107 109 | 0.000 % |
25.52/25.53 c | 20218 | 2029 329509 1447248 | 2147483647 20218 109 | 0.000 % |
25.62/25.67 c | 20340 | 2029 329509 1447248 | 2147483647 20340 109 | 0.000 % |
25.82/25.85 c | 20473 | 2029 329509 1447248 | 2147483647 20473 109 | 0.000 % |
25.92/25.99 c | 20619 | 2029 329509 1447248 | 2147483647 20619 109 | 0.000 % |
26.12/26.20 c | 20779 | 2029 329509 1447248 | 2147483647 20779 109 | 0.000 % |
26.43/26.42 c | 20955 | 2029 329509 1447248 | 2147483647 20955 109 | 0.000 % |
26.52/26.60 c | 21152 | 2029 329509 1447248 | 2147483647 21152 110 | 0.000 % |
26.72/26.77 c | 21366 | 2029 329509 1447248 | 2147483647 21366 110 | 0.000 % |
26.92/27.00 c | 21602 | 2029 329509 1447248 | 2147483647 21602 110 | 0.000 % |
27.22/27.26 c | 21859 | 2029 329509 1447248 | 2147483647 21859 110 | 0.000 % |
27.53/27.56 c | 22142 | 2029 329509 1447248 | 2147483647 22142 110 | 0.000 % |
27.82/27.84 c | 22451 | 2029 329509 1447248 | 2147483647 22451 110 | 0.000 % |
28.22/28.22 c | 22791 | 2029 329509 1447248 | 2147483647 22791 111 | 0.000 % |
28.73/28.82 c | 23163 | 2029 329509 1447248 | 2147483647 23163 111 | 0.000 % |
29.53/29.54 c | 23574 | 2029 329509 1447248 | 2147483647 23574 110 | 0.000 % |
29.63/29.72 c | 23675 | 2029 329509 1447248 | 2147483647 23675 110 | 0.000 % |
29.83/29.89 c | 23785 | 2029 329509 1447248 | 2147483647 23785 110 | 0.000 % |
30.03/30.05 c | 23906 | 2029 329509 1447248 | 2147483647 23906 110 | 0.000 % |
30.23/30.24 c | 24039 | 2029 329509 1447248 | 2147483647 24039 110 | 0.000 % |
30.33/30.42 c | 24186 | 2029 329509 1447248 | 2147483647 24186 110 | 0.000 % |
30.63/30.66 c | 24346 | 2029 329509 1447248 | 2147483647 24346 110 | 0.000 % |
30.73/30.80 c | 24523 | 2029 329509 1447248 | 2147483647 24523 111 | 0.000 % |
30.83/30.87 c | 24716 | 2029 329509 1447248 | 2147483647 24716 111 | 0.000 % |
31.03/31.10 c | 24928 | 2029 329509 1447248 | 2147483647 24928 111 | 0.000 % |
31.23/31.26 c | 25161 | 2029 329509 1447248 | 2147483647 25161 111 | 0.000 % |
31.43/31.52 c | 25417 | 2029 329509 1447248 | 2147483647 25417 111 | 0.000 % |
31.83/31.85 c | 25698 | 2029 329509 1447248 | 2147483647 25698 111 | 0.000 % |
32.13/32.13 c | 26007 | 2029 329509 1447248 | 2147483647 26007 112 | 0.000 % |
32.63/32.67 c | 26349 | 2029 329509 1447248 | 2147483647 26349 112 | 0.000 % |
33.13/33.15 c | 26722 | 2029 329509 1447248 | 2147483647 26722 113 | 0.001 % |
33.53/33.60 c | 27132 | 2029 329509 1447248 | 2147483647 27132 114 | 0.000 % |
34.03/34.03 c | 27582 | 2029 329509 1447248 | 2147483647 27582 114 | 0.000 % |
34.13/34.17 c | 27684 | 2029 329509 1447248 | 2147483647 27684 114 | 0.000 % |
34.33/34.36 c | 27794 | 2029 329509 1447248 | 2147483647 27794 114 | 0.000 % |
34.43/34.51 c | 27916 | 2029 329509 1447248 | 2147483647 27916 114 | 0.000 % |
34.63/34.65 c | 28050 | 2029 329509 1447248 | 2147483647 28050 114 | 0.000 % |
34.83/34.84 c | 28196 | 2029 329509 1447248 | 2147483647 28196 114 | 0.000 % |
35.03/35.06 c | 28358 | 2029 329509 1447248 | 2147483647 28358 114 | 0.000 % |
35.23/35.26 c | 28535 | 2029 329509 1447248 | 2147483647 28535 114 | 0.000 % |
35.43/35.49 c | 28728 | 2029 329509 1447248 | 2147483647 28728 115 | 0.000 % |
35.73/35.80 c | 28940 | 2029 329509 1447248 | 2147483647 28940 115 | 0.000 % |
36.13/36.13 c | 29175 | 2029 329509 1447248 | 2147483647 29175 115 | 0.000 % |
36.43/36.45 c | 29431 | 2029 329509 1447248 | 2147483647 29431 115 | 0.000 % |
36.83/36.83 c | 29712 | 2029 329509 1447248 | 2147483647 29712 115 | 0.000 % |
37.13/37.14 c | 30023 | 2029 329509 1447248 | 2147483647 30023 115 | 0.000 % |
37.43/37.47 c | 30363 | 2029 329509 1447248 | 2147483647 30363 115 | 0.000 % |
37.93/37.93 c | 30737 | 2029 329509 1447248 | 2147483647 30737 115 | 0.000 % |
38.33/38.37 c | 31146 | 2029 329509 1447248 | 2147483647 31146 116 | 0.000 % |
38.83/38.89 c | 31596 | 2029 329509 1447248 | 2147483647 31596 116 | 0.000 % |
39.53/39.57 c | 32089 | 2029 329509 1447248 | 2147483647 32089 117 | 0.000 % |
39.63/39.69 c | 32191 | 2029 329509 1447248 | 2147483647 32191 117 | 0.000 % |
39.83/39.86 c | 32303 | 2029 329509 1447248 | 2147483647 32303 117 | 0.000 % |
39.93/39.98 c | 32425 | 2029 329509 1447248 | 2147483647 32425 117 | 0.000 % |
40.13/40.13 c | 32558 | 2029 329509 1447248 | 2147483647 32558 117 | 0.000 % |
40.33/40.40 c | 32705 | 2029 329509 1447248 | 2147483647 32705 117 | 0.000 % |
40.63/40.64 c | 32868 | 2029 329509 1447248 | 2147483647 32868 117 | 0.000 % |
40.93/40.96 c | 33044 | 2029 329509 1447248 | 2147483647 33044 117 | 0.000 % |
41.43/41.48 c | 33238 | 2029 329509 1447248 | 2147483647 33238 117 | 0.000 % |
41.73/41.76 c | 33450 | 2029 329509 1447248 | 2147483647 33450 117 | 0.000 % |
41.93/41.98 c | 33686 | 2029 329509 1447248 | 2147483647 33686 117 | 0.000 % |
42.23/42.28 c | 33945 | 2029 329509 1447248 | 2147483647 33945 117 | 0.000 % |
42.93/42.95 c | 34226 | 2029 329509 1447248 | 2147483647 34226 116 | 0.000 % |
43.43/43.43 c | 34538 | 2029 329509 1447248 | 2147483647 34538 116 | 0.000 % |
44.13/44.12 c | 34879 | 2029 329509 1447248 | 2147483647 34879 116 | 0.000 % |
44.63/44.67 c | 35251 | 2029 329509 1447248 | 2147483647 35251 116 | 0.000 % |
45.13/45.20 c | 35662 | 2029 329509 1447248 | 2147483647 35662 116 | 0.000 % |
45.63/45.69 c | 36111 | 2029 329509 1447248 | 2147483647 36111 117 | 0.000 % |
46.23/46.23 c | 36604 | 2029 329509 1447248 | 2147483647 36604 117 | 0.000 % |
46.73/46.78 c | 37148 | 2029 329509 1447248 | 2147483647 37148 117 | 0.000 % |
46.93/46.94 c | 37249 | 2029 329509 1447248 | 2147483647 37249 117 | 0.000 % |
47.13/47.16 c | 37359 | 2029 329509 1447248 | 2147483647 37359 117 | 0.000 % |
47.43/47.42 c | 37481 | 2029 329509 1447248 | 2147483647 37481 117 | 0.000 % |
47.63/47.62 c | 37617 | 2029 329509 1447248 | 2147483647 37617 117 | 0.000 % |
47.73/47.80 c | 37765 | 2029 329509 1447248 | 2147483647 37765 117 | 0.000 % |
47.93/47.98 c | 37925 | 2029 329509 1447248 | 2147483647 37925 117 | 0.000 % |
48.13/48.15 c | 38101 | 2029 329509 1447248 | 2147483647 38101 117 | 0.000 % |
48.33/48.42 c | 38294 | 2029 329509 1447248 | 2147483647 38294 117 | 0.000 % |
48.63/48.64 c | 38506 | 2029 329509 1447248 | 2147483647 38506 118 | 0.000 % |
48.83/48.90 c | 38740 | 2029 329509 1447248 | 2147483647 38740 118 | 0.000 % |
49.23/49.25 c | 38996 | 2029 329509 1447248 | 2147483647 38996 118 | 0.000 % |
49.63/49.67 c | 39277 | 2029 329509 1447248 | 2147483647 39277 118 | 0.000 % |
49.83/49.87 c | 39586 | 2029 329509 1447248 | 2147483647 39586 118 | 0.000 % |
50.43/50.47 c | 39925 | 2029 329509 1447248 | 2147483647 39925 118 | 0.000 % |
50.83/50.91 c | 40298 | 2029 329509 1447248 | 2147483647 40298 118 | 0.000 % |
51.43/51.43 c | 40709 | 2029 329509 1447248 | 2147483647 40709 118 | 0.000 % |
51.83/51.84 c | 41160 | 2029 329509 1447248 | 2147483647 41160 118 | 0.000 % |
52.53/52.55 c | 41654 | 2029 329509 1447248 | 2147483647 41654 118 | 0.000 % |
52.93/52.97 c | 42196 | 2029 329509 1447248 | 2147483647 42196 119 | 0.000 % |
53.53/53.52 c | 42794 | 2029 329509 1447248 | 2147483647 42794 120 | 0.000 % |
53.53/53.60 c | 42897 | 2029 329509 1447248 | 2147483647 42897 120 | 0.000 % |
53.63/53.69 c | 43008 | 2029 329509 1447248 | 2147483647 43008 120 | 0.000 % |
53.93/53.93 c | 43129 | 2029 329509 1447248 | 2147483647 43129 120 | 0.000 % |
54.03/54.07 c | 43262 | 2029 329509 1447248 | 2147483647 43262 120 | 0.000 % |
54.23/54.24 c | 43408 | 2029 329509 1447248 | 2147483647 43408 119 | 0.000 % |
54.53/54.54 c | 43568 | 2029 329509 1447248 | 2147483647 43568 119 | 0.000 % |
54.83/54.88 c | 43745 | 2029 329509 1447248 | 2147483647 43745 119 | 0.000 % |
55.33/55.33 c | 43938 | 2029 329509 1447248 | 2147483647 43938 119 | 0.000 % |
55.73/55.78 c | 44152 | 2029 329509 1447248 | 2147483647 44152 119 | 0.000 % |
55.93/55.99 c | 44386 | 2029 329509 1447248 | 2147483647 44386 119 | 0.000 % |
56.63/56.66 c | 44645 | 2029 329509 1447248 | 2147483647 44645 119 | 0.000 % |
56.93/56.95 c | 44928 | 2029 329509 1447248 | 2147483647 44928 119 | 0.000 % |
57.43/57.48 c | 45238 | 2029 329509 1447248 | 2147483647 45238 119 | 0.000 % |
57.73/57.81 c | 45579 | 2029 329509 1447248 | 2147483647 45579 119 | 0.000 % |
58.23/58.30 c | 45954 | 2029 329509 1447248 | 2147483647 45954 119 | 0.000 % |
58.83/58.91 c | 46363 | 2029 329509 1447248 | 2147483647 46363 119 | 0.000 % |
59.43/59.48 c | 46812 | 2029 329509 1447248 | 2147483647 46812 119 | 0.000 % |
60.23/60.27 c | 47306 | 2029 329509 1447248 | 2147483647 47306 119 | 0.000 % |
61.13/61.17 c | 47849 | 2029 329509 1447248 | 2147483647 47849 119 | 0.000 % |
61.93/61.99 c | 48445 | 2029 329509 1447248 | 2147483647 48445 119 | 0.000 % |
62.73/62.81 c | 49103 | 2029 329509 1447248 | 2147483647 49103 119 | 0.000 % |
63.03/63.03 c | 49203 | 2029 329509 1447248 | 2147483647 49203 119 | 0.000 % |
63.13/63.20 c | 49313 | 2029 329509 1447248 | 2147483647 49313 119 | 0.000 % |
63.43/63.43 c | 49435 | 2029 329509 1447248 | 2147483647 49435 119 | 0.000 % |
63.53/63.56 c | 49570 | 2029 329509 1447248 | 2147483647 49570 119 | 0.000 % |
63.73/63.72 c | 49716 | 2029 329509 1447248 | 2147483647 49716 119 | 0.000 % |
63.93/63.96 c | 49876 | 2029 329509 1447248 | 2147483647 49876 119 | 0.000 % |
64.23/64.25 c | 50053 | 2029 329509 1447248 | 2147483647 50053 119 | 0.000 % |
64.53/64.59 c | 50247 | 2029 329509 1447248 | 2147483647 50247 119 | 0.000 % |
64.93/65.00 c | 50461 | 2029 329509 1447248 | 2147483647 50461 120 | 0.000 % |
65.33/65.37 c | 50694 | 2029 329509 1447248 | 2147483647 50694 120 | 0.000 % |
65.73/65.75 c | 50952 | 2029 329509 1447248 | 2147483647 50952 120 | 0.000 % |
66.13/66.15 c | 51233 | 2029 329509 1447248 | 2147483647 51233 120 | 0.000 % |
66.53/66.52 c | 51544 | 2029 329509 1447248 | 2147483647 51544 119 | 0.000 % |
66.93/66.96 c | 51885 | 2029 329509 1447248 | 2147483647 51885 120 | 0.000 % |
67.43/67.48 c | 52257 | 2029 329509 1447248 | 2147483647 52257 120 | 0.000 % |
68.03/68.04 c | 52666 | 2029 329509 1447248 | 2147483647 52666 119 | 0.000 % |
68.33/68.40 c | 53115 | 2029 329509 1447248 | 2147483647 53115 119 | 0.000 % |
69.13/69.18 c | 53608 | 2029 329509 1447248 | 2147483647 53608 119 | 0.000 % |
69.83/69.88 c | 54151 | 2029 329509 1447248 | 2147483647 54151 120 | 0.000 % |
70.83/70.88 c | 54749 | 2029 329509 1447248 | 2147483647 54749 120 | 0.000 % |
71.73/71.79 c | 55404 | 2029 329509 1447248 | 2147483647 55404 121 | 0.000 % |
72.53/72.62 c | 56126 | 2029 329509 1447248 | 2147483647 56126 121 | 0.000 % |
72.73/72.78 c | 56227 | 2029 329509 1447248 | 2147483647 56227 121 | 0.000 % |
72.93/72.98 c | 56337 | 2029 329509 1447248 | 2147483647 56337 121 | 0.000 % |
73.13/73.15 c | 56461 | 2029 329509 1447248 | 2147483647 56461 121 | 0.000 % |
73.33/73.40 c | 56594 | 2029 329509 1447248 | 2147483647 56594 121 | 0.000 % |
73.63/73.67 c | 56740 | 2029 329509 1447248 | 2147483647 56740 121 | 0.000 % |
73.93/73.94 c | 56900 | 2029 329509 1447248 | 2147483647 56900 121 | 0.000 % |
74.23/74.23 c | 57080 | 2029 329509 1447248 | 2147483647 57080 121 | 0.000 % |
74.63/74.64 c | 57274 | 2029 329509 1447248 | 2147483647 57274 121 | 0.000 % |
75.13/75.17 c | 57486 | 2029 329509 1447248 | 2147483647 57486 121 | 0.000 % |
75.53/75.56 c | 57720 | 2029 329509 1447248 | 2147483647 57720 121 | 0.000 % |
75.93/75.99 c | 57976 | 2029 329509 1447248 | 2147483647 57976 121 | 0.000 % |
76.53/76.56 c | 58257 | 2029 329509 1447248 | 2147483647 58257 121 | 0.000 % |
77.03/77.02 c | 58568 | 2029 329509 1447248 | 2147483647 58568 121 | 0.000 % |
77.53/77.54 c | 58912 | 2029 329509 1447248 | 2147483647 58912 121 | 0.000 % |
77.83/77.89 c | 59285 | 2029 329509 1447248 | 2147483647 59285 122 | 0.000 % |
78.33/78.36 c | 59694 | 2029 329509 1447248 | 2147483647 59694 122 | 0.000 % |
78.83/78.84 c | 60146 | 2029 329509 1447248 | 2147483647 60146 122 | 0.000 % |
79.33/79.39 c | 60639 | 2029 329509 1447248 | 2147483647 60639 122 | 0.000 % |
80.33/80.37 c | 61182 | 2029 329509 1447248 | 2147483647 61182 122 | 0.000 % |
81.83/81.89 c | 61780 | 2029 329509 1447248 | 2147483647 61780 122 | 0.000 % |
83.03/83.05 c | 62439 | 2029 329509 1447248 | 2147483647 62439 122 | 0.000 % |
83.83/83.86 c | 63159 | 2029 329509 1447248 | 2147483647 63159 123 | 0.000 % |
84.73/84.79 c | 63952 | 2029 329509 1447248 | 2147483647 63952 122 | 0.000 % |
85.13/85.14 c | 64053 | 2029 329509 1447248 | 2147483647 64053 122 | 0.000 % |
85.33/85.33 c | 64163 | 2029 329509 1447248 | 2147483647 64163 122 | 0.000 % |
85.43/85.48 c | 64285 | 2029 329509 1447248 | 2147483647 64285 122 | 0.000 % |
85.73/85.75 c | 64418 | 2029 329509 1447248 | 2147483647 64418 122 | 0.000 % |
86.03/86.07 c | 64564 | 2029 329509 1447248 | 2147483647 64564 122 | 0.000 % |
86.33/86.40 c | 64724 | 2029 329509 1447248 | 2147483647 64724 122 | 0.000 % |
86.83/86.90 c | 64902 | 2029 329509 1447248 | 2147483647 64902 122 | 0.000 % |
87.13/87.17 c | 65096 | 2029 329509 1447248 | 2147483647 65096 122 | 0.000 % |
87.63/87.64 c | 65309 | 2029 329509 1447248 | 2147483647 65309 122 | 0.000 % |
87.83/87.83 c | 65543 | 2029 329509 1447248 | 2147483647 65543 122 | 0.000 % |
88.13/88.18 c | 65801 | 2029 329509 1447248 | 2147483647 65801 122 | 0.000 % |
88.53/88.58 c | 66083 | 2029 329509 1447248 | 2147483647 66083 122 | 0.000 % |
89.13/89.19 c | 66393 | 2029 329509 1447248 | 2147483647 66393 122 | 0.000 % |
90.03/90.04 c | 66732 | 2029 329509 1447248 | 2147483647 66732 122 | 0.000 % |
90.73/90.72 c | 67104 | 2029 329509 1447248 | 2147483647 67104 122 | 0.000 % |
91.33/91.39 c | 67513 | 2029 329509 1447248 | 2147483647 67513 122 | 0.000 % |
92.23/92.26 c | 67962 | 2029 329509 1447248 | 2147483647 67962 122 | 0.000 % |
93.13/93.18 c | 68455 | 2029 329509 1447248 | 2147483647 68455 122 | 0.000 % |
94.23/94.24 c | 68999 | 2029 329509 1447248 | 2147483647 68999 122 | 0.000 % |
95.13/95.15 c | 69596 | 2029 329509 1447248 | 2147483647 69596 122 | 0.000 % |
96.13/96.16 c | 70251 | 2029 329509 1447248 | 2147483647 70251 122 | 0.000 % |
97.94/97.93 c | 70971 | 2029 329509 1447248 | 2147483647 70971 122 | 0.000 % |
99.73/99.79 c | 71763 | 2029 329509 1447248 | 2147483647 71763 122 | 0.000 % |
101.24/101.24 c | 72634 | 2029 329509 1447248 | 2147483647 72634 122 | 0.000 % |
101.63/101.62 c | 72734 | 2029 329509 1447248 | 2147483647 72734 122 | 0.000 % |
101.83/101.89 c | 72844 | 2029 329509 1447248 | 2147483647 72844 122 | 0.000 % |
102.03/102.11 c | 72965 | 2029 329509 1447248 | 2147483647 72965 122 | 0.000 % |
102.34/102.41 c | 73099 | 2029 329509 1447248 | 2147483647 73099 122 | 0.000 % |
102.63/102.67 c | 73245 | 2029 329509 1447248 | 2147483647 73245 122 | 0.000 % |
103.03/103.06 c | 73405 | 2029 329509 1447248 | 2147483647 73405 122 | 0.000 % |
103.33/103.42 c | 73585 | 2029 329509 1447248 | 2147483647 73585 122 | 0.000 % |
104.13/104.20 c | 73779 | 2029 329509 1447248 | 2147483647 73779 122 | 0.000 % |
104.73/104.72 c | 73993 | 2029 329509 1447248 | 2147483647 73993 121 | 0.000 % |
105.23/105.25 c | 74226 | 2029 329509 1447248 | 2147483647 74226 121 | 0.000 % |
105.64/105.71 c | 74483 | 2029 329509 1447248 | 2147483647 74483 121 | 0.000 % |
106.03/106.07 c | 74765 | 2029 329509 1447248 | 2147483647 74765 121 | 0.000 % |
106.43/106.51 c | 75074 | 2029 329509 1447248 | 2147483647 75074 121 | 0.000 % |
107.13/107.19 c | 75413 | 2029 329509 1447248 | 2147483647 75413 122 | 0.000 % |
107.73/107.74 c | 75785 | 2029 329509 1447248 | 2147483647 75785 122 | 0.000 % |
108.53/108.52 c | 76195 | 2029 329509 1447248 | 2147483647 76195 122 | 0.000 % |
109.23/109.25 c | 76644 | 2029 329509 1447248 | 2147483647 76644 122 | 0.000 % |
110.53/110.52 c | 77137 | 2029 329509 1447248 | 2147483647 77137 122 | 0.000 % |
111.33/111.40 c | 77679 | 2029 329509 1447248 | 2147483647 77679 121 | 0.000 % |
112.33/112.40 c | 78275 | 2029 329509 1447248 | 2147483647 78275 121 | 0.000 % |
113.34/113.36 c | 78931 | 2029 329509 1447248 | 2147483647 78931 120 | 0.000 % |
113.93/113.93 c | 79651 | 2029 329509 1447248 | 2147483647 79651 120 | 0.000 % |
116.13/116.20 c | 80449 | 2029 329509 1447248 | 2147483647 80449 120 | 0.000 % |
117.92/117.96 c | 81322 | 2029 329509 1447248 | 2147483647 81322 119 | 0.000 % |
118.92/118.94 c | 82280 | 2029 329509 1447248 | 2147483647 82280 119 | 0.000 % |
119.02/119.04 c | 82380 | 2029 329509 1447248 | 2147483647 82380 119 | 0.000 % |
119.32/119.31 c | 82490 | 2029 329509 1447248 | 2147483647 82490 119 | 0.000 % |
119.62/119.63 c | 82611 | 2029 329509 1447248 | 2147483647 82611 119 | 0.000 % |
119.93/119.99 c | 82745 | 2029 329509 1447248 | 2147483647 82745 119 | 0.000 % |
120.42/120.41 c | 82894 | 2029 329509 1447248 | 2147483647 82894 119 | 0.000 % |
120.82/120.81 c | 83054 | 2029 329509 1447248 | 2147483647 83054 119 | 0.000 % |
121.32/121.35 c | 83235 | 2029 329509 1447248 | 2147483647 83235 120 | 0.000 % |
122.02/122.04 c | 83430 | 2029 329509 1447248 | 2147483647 83430 120 | 0.000 % |
122.62/122.69 c | 83643 | 2029 329509 1447248 | 2147483647 83643 119 | 0.000 % |
123.02/123.10 c | 83877 | 2029 329509 1447248 | 2147483647 83877 119 | 0.000 % |
123.52/123.54 c | 84133 | 2029 329509 1447248 | 2147483647 84133 119 | 0.000 % |
124.12/124.12 c | 84418 | 2029 329509 1447248 | 2147483647 84418 120 | 0.000 % |
124.52/124.52 c | 84728 | 2029 329509 1447248 | 2147483647 84728 120 | 0.000 % |
125.62/125.63 c | 85067 | 2029 329509 1447248 | 2147483647 85067 120 | 0.000 % |
126.53/126.54 c | 85439 | 2029 329509 1447248 | 2147483647 85439 120 | 0.000 % |
127.22/127.28 c | 85848 | 2029 329509 1447248 | 2147483647 85848 120 | 0.000 % |
128.42/128.50 c | 86299 | 2029 329509 1447248 | 2147483647 86299 120 | 0.000 % |
129.42/129.42 c | 86793 | 2029 329509 1447248 | 2147483647 86793 120 | 0.000 % |
130.12/130.11 c | 87335 | 2029 329509 1447248 | 2147483647 87335 120 | 0.000 % |
131.02/131.02 c | 87932 | 2029 329509 1447248 | 2147483647 87932 120 | 0.000 % |
132.03/132.08 c | 88587 | 2029 329509 1447248 | 2147483647 88587 120 | 0.000 % |
133.13/133.13 c | 89308 | 2029 329509 1447248 | 2147483647 89308 120 | 0.000 % |
134.23/134.28 c | 90101 | 2029 329509 1447248 | 2147483647 90101 120 | 0.000 % |
135.72/135.71 c | 90976 | 2029 329509 1447248 | 2147483647 90976 121 | 0.000 % |
137.12/137.20 c | 91940 | 2029 329509 1447248 | 2147483647 91940 121 | 0.000 % |
139.02/139.07 c | 92994 | 2029 329509 1447248 | 2147483647 92994 121 | 0.000 % |
139.22/139.24 c | 93094 | 2029 329509 1447248 | 2147483647 93094 121 | 0.000 % |
139.42/139.41 c | 93205 | 2029 329509 1447248 | 2147483647 93205 121 | 0.000 % |
139.52/139.52 c | 93327 | 2029 329509 1447248 | 2147483647 93327 121 | 0.000 % |
139.82/139.82 c | 93460 | 2029 329509 1447248 | 2147483647 93460 121 | 0.000 % |
140.02/140.07 c | 93608 | 2029 329509 1447248 | 2147483647 93608 121 | 0.000 % |
140.42/140.42 c | 93769 | 2029 329509 1447248 | 2147483647 93769 121 | 0.000 % |
140.72/140.74 c | 93945 | 2029 329509 1447248 | 2147483647 93945 121 | 0.000 % |
141.12/141.17 c | 94140 | 2029 329509 1447248 | 2147483647 94140 121 | 0.000 % |
141.72/141.76 c | 94352 | 2029 329509 1447248 | 2147483647 94352 121 | 0.000 % |
142.12/142.18 c | 94585 | 2029 329509 1447248 | 2147483647 94585 121 | 0.000 % |
142.82/142.86 c | 94843 | 2029 329509 1447248 | 2147483647 94843 121 | 0.000 % |
143.43/143.48 c | 95125 | 2029 329509 1447248 | 2147483647 95125 121 | 0.000 % |
144.03/144.07 c | 95434 | 2029 329509 1447248 | 2147483647 95434 121 | 0.000 % |
144.73/144.72 c | 95773 | 2029 329509 1447248 | 2147483647 95773 121 | 0.000 % |
145.23/145.29 c | 96145 | 2029 329509 1447248 | 2147483647 96145 121 | 0.000 % |
146.23/146.25 c | 96555 | 2029 329509 1447248 | 2147483647 96555 121 | 0.000 % |
147.23/147.28 c | 97004 | 2029 329509 1447248 | 2147483647 97004 121 | 0.000 % |
148.43/148.44 c | 97497 | 2029 329509 1447248 | 2147483647 97497 121 | 0.000 % |
149.43/149.48 c | 98043 | 2029 329509 1447248 | 2147483647 98043 121 | 0.000 % |
150.43/150.48 c | 98639 | 2029 329509 1447248 | 2147483647 98639 121 | 0.000 % |
152.33/152.34 c | 99297 | 2029 329509 1447248 | 2147483647 99297 121 | 0.000 % |
153.33/153.41 c | 100017 | 2029 329509 1447248 | 2147483647 100017 121 | 0.000 % |
155.03/155.08 c | 100809 | 2029 329509 1447248 | 2147483647 100809 121 | 0.000 % |
156.33/156.33 c | 101684 | 2029 329509 1447248 | 2147483647 101684 121 | 0.000 % |
157.43/157.46 c | 102643 | 2029 329509 1447248 | 2147483647 102643 121 | 0.000 % |
160.63/160.66 c | 103697 | 2029 329509 1447248 | 2147483647 103697 121 | 0.000 % |
161.83/161.86 c | 104855 | 2029 329509 1447248 | 2147483647 104855 121 | 0.000 % |
162.13/162.17 c | 104956 | 2029 329509 1447248 | 2147483647 104956 121 | 0.000 % |
162.43/162.42 c | 105068 | 2029 329509 1447248 | 2147483647 105068 121 | 0.000 % |
162.63/162.66 c | 105191 | 2029 329509 1447248 | 2147483647 105191 121 | 0.000 % |
162.83/162.90 c | 105325 | 2029 329509 1447248 | 2147483647 105325 121 | 0.000 % |
163.33/163.32 c | 105474 | 2029 329509 1447248 | 2147483647 105474 121 | 0.000 % |
163.63/163.64 c | 105635 | 2029 329509 1447248 | 2147483647 105635 121 | 0.000 % |
164.13/164.18 c | 105812 | 2029 329509 1447248 | 2147483647 105812 121 | 0.000 % |
164.93/164.95 c | 106006 | 2029 329509 1447248 | 2147483647 106006 121 | 0.000 % |
165.33/165.35 c | 106220 | 2029 329509 1447248 | 2147483647 106220 121 | 0.000 % |
165.73/165.74 c | 106453 | 2029 329509 1447248 | 2147483647 106453 121 | 0.000 % |
166.13/166.16 c | 106709 | 2029 329509 1447248 | 2147483647 106709 121 | 0.000 % |
166.43/166.49 c | 106990 | 2029 329509 1447248 | 2147483647 106990 121 | 0.000 % |
167.23/167.22 c | 107299 | 2029 329509 1447248 | 2147483647 107299 121 | 0.000 % |
168.03/168.04 c | 107638 | 2029 329509 1447248 | 2147483647 107638 121 | 0.000 % |
168.53/168.60 c | 108010 | 2029 329509 1447248 | 2147483647 108010 121 | 0.000 % |
169.33/169.38 c | 108420 | 2029 329509 1447248 | 2147483647 108420 121 | 0.000 % |
170.43/170.50 c | 108870 | 2029 329509 1447248 | 2147483647 108870 121 | 0.000 % |
171.13/171.15 c | 109364 | 2029 329509 1447248 | 2147483647 109364 121 | 0.000 % |
172.23/172.29 c | 109906 | 2029 329509 1447248 | 2147483647 109906 121 | 0.000 % |
173.03/173.06 c | 110502 | 2029 329509 1447248 | 2147483647 110502 121 | 0.000 % |
174.43/174.44 c | 111159 | 2029 329509 1447248 | 2147483647 111159 121 | 0.000 % |
176.03/176.07 c | 111879 | 2029 329509 1447248 | 2147483647 111879 121 | 0.000 % |
177.33/177.35 c | 112672 | 2029 329509 1447248 | 2147483647 112672 121 | 0.000 % |
178.93/178.99 c | 113544 | 2029 329509 1447248 | 2147483647 113544 121 | 0.000 % |
180.73/180.81 c | 114502 | 2029 329509 1447248 | 2147483647 114502 121 | 0.000 % |
182.93/183.00 c | 115558 | 2029 329509 1447248 | 2147483647 115558 121 | 0.000 % |
186.93/187.00 c | 116721 | 2029 329509 1447248 | 2147483647 116721 121 | 0.000 % |
188.83/188.86 c | 117996 | 2029 329509 1447248 | 2147483647 117996 121 | 0.000 % |
189.23/189.27 c | 118096 | 2029 329509 1447248 | 2147483647 118096 121 | 0.000 % |
189.53/189.55 c | 118207 | 2029 329509 1447248 | 2147483647 118207 121 | 0.000 % |
189.83/189.84 c | 118330 | 2029 329509 1447248 | 2147483647 118330 121 | 0.000 % |
190.13/190.19 c | 118464 | 2029 329509 1447248 | 2147483647 118464 121 | 0.000 % |
190.53/190.54 c | 118610 | 2029 329509 1447248 | 2147483647 118610 121 | 0.000 % |
190.93/190.96 c | 118770 | 2029 329509 1447248 | 2147483647 118770 121 | 0.000 % |
191.33/191.37 c | 118947 | 2029 329509 1447248 | 2147483647 118947 121 | 0.000 % |
191.83/191.84 c | 119141 | 2029 329509 1447248 | 2147483647 119141 121 | 0.000 % |
192.43/192.45 c | 119353 | 2029 329509 1447248 | 2147483647 119353 121 | 0.000 % |
192.93/192.92 c | 119587 | 2029 329509 1447248 | 2147483647 119587 122 | 0.000 % |
193.63/193.68 c | 119844 | 2029 329509 1447248 | 2147483647 119844 122 | 0.000 % |
194.13/194.17 c | 120126 | 2029 329509 1447248 | 2147483647 120126 122 | 0.000 % |
194.73/194.73 c | 120436 | 2029 329509 1447248 | 2147483647 120436 122 | 0.000 % |
195.73/195.73 c | 120778 | 2029 329509 1447248 | 2147483647 120778 122 | 0.000 % |
196.13/196.16 c | 121150 | 2029 329509 1447248 | 2147483647 121150 122 | 0.000 % |
196.93/196.96 c | 121560 | 2029 329509 1447248 | 2147483647 121560 122 | 0.000 % |
197.73/197.74 c | 122012 | 2029 329509 1447248 | 2147483647 122012 122 | 0.000 % |
199.03/199.02 c | 122505 | 2029 329509 1447248 | 2147483647 122505 122 | 0.000 % |
200.33/200.33 c | 123049 | 2029 329509 1447248 | 2147483647 123049 122 | 0.000 % |
201.33/201.41 c | 123645 | 2029 329509 1447248 | 2147483647 123645 122 | 0.000 % |
202.83/202.85 c | 124300 | 2029 329509 1447248 | 2147483647 124300 122 | 0.000 % |
204.93/204.95 c | 125021 | 2029 329509 1447248 | 2147483647 125021 122 | 0.000 % |
206.83/206.88 c | 125815 | 2029 329509 1447248 | 2147483647 125815 123 | 0.000 % |
209.43/209.41 c | 126687 | 2029 329509 1447248 | 2147483647 126687 122 | 0.000 % |
211.43/211.49 c | 127646 | 2029 329509 1447248 | 2147483647 127646 122 | 0.000 % |
214.23/214.22 c | 128699 | 2029 329509 1447248 | 2147483647 128699 122 | 0.000 % |
216.23/216.29 c | 129858 | 2029 329509 1447248 | 2147483647 129858 122 | 0.000 % |
219.93/219.96 c | 131131 | 2029 329509 1447248 | 2147483647 131131 122 | 0.000 % |
223.34/223.34 c | 132537 | 2029 329509 1447248 | 2147483647 132537 122 | 0.000 % |
223.73/223.81 c | 132638 | 2029 329509 1447248 | 2147483647 132638 122 | 0.000 % |
224.13/224.11 c | 132749 | 2029 329509 1447248 | 2147483647 132749 122 | 0.000 % |
224.44/224.48 c | 132871 | 2029 329509 1447248 | 2147483647 132871 122 | 0.000 % |
224.83/224.90 c | 133007 | 2029 329509 1447248 | 2147483647 133007 122 | 0.000 % |
225.54/225.53 c | 133157 | 2029 329509 1447248 | 2147483647 133157 122 | 0.000 % |
226.03/226.11 c | 133319 | 2029 329509 1447248 | 2147483647 133319 122 | 0.000 % |
226.43/226.47 c | 133495 | 2029 329509 1447248 | 2147483647 133495 122 | 0.000 % |
226.93/226.98 c | 133691 | 2029 329509 1447248 | 2147483647 133691 122 | 0.000 % |
227.63/227.67 c | 133904 | 2029 329509 1447248 | 2147483647 133904 122 | 0.000 % |
228.23/228.26 c | 134138 | 2029 329509 1447248 | 2147483647 134138 122 | 0.000 % |
229.43/229.44 c | 134395 | 2029 329509 1447248 | 2147483647 134395 122 | 0.000 % |
230.03/230.07 c | 134676 | 2029 329509 1447248 | 2147483647 134676 122 | 0.000 % |
230.73/230.80 c | 134985 | 2029 329509 1447248 | 2147483647 134985 122 | 0.000 % |
231.53/231.59 c | 135326 | 2029 329509 1447248 | 2147483647 135326 122 | 0.000 % |
232.83/232.81 c | 135701 | 2029 329509 1447248 | 2147483647 135701 122 | 0.000 % |
233.43/233.49 c | 136110 | 2029 329509 1447248 | 2147483647 136110 122 | 0.000 % |
234.63/234.62 c | 136559 | 2029 329509 1447248 | 2147483647 136559 122 | 0.000 % |
235.63/235.67 c | 137054 | 2029 329509 1447248 | 2147483647 137054 122 | 0.000 % |
236.83/236.89 c | 137596 | 2029 329509 1447248 | 2147483647 137596 122 | 0.000 % |
239.03/239.04 c | 138192 | 2029 329509 1447248 | 2147483647 138192 123 | 0.000 % |
241.43/241.49 c | 138848 | 2029 329509 1447248 | 2147483647 138848 122 | 0.000 % |
245.13/245.17 c | 139569 | 2029 329509 1447248 | 2147483647 139569 122 | 0.000 % |
246.63/246.62 c | 140361 | 2029 329509 1447248 | 2147483647 140361 122 | 0.000 % |
249.93/249.95 c | 141233 | 2029 329509 1447248 | 2147483647 141233 122 | 0.000 % |
252.43/252.45 c | 142193 | 2029 329509 1447248 | 2147483647 142193 122 | 0.000 % |
254.73/254.79 c | 143246 | 2029 329509 1447248 | 2147483647 143246 122 | 0.000 % |
259.14/259.14 c | 144404 | 2029 329509 1447248 | 2147483647 144404 122 | 0.000 % |
263.23/263.26 c | 145677 | 2029 329509 1447248 | 2147483647 145677 122 | 0.000 % |
268.93/268.98 c | 147077 | 2029 329509 1447248 | 2147483647 147077 122 | 0.000 % |
274.83/274.89 c | 148617 | 2029 329509 1447248 | 2147483647 148617 122 | 0.000 % |
275.23/275.23 c | 148717 | 2029 329509 1447248 | 2147483647 148717 122 | 0.000 % |
275.53/275.54 c | 148828 | 2029 329509 1447248 | 2147483647 148828 122 | 0.000 % |
275.73/275.79 c | 148949 | 2029 329509 1447248 | 2147483647 148949 122 | 0.000 % |
276.13/276.18 c | 149082 | 2029 329509 1447248 | 2147483647 149082 122 | 0.000 % |
276.73/276.72 c | 149230 | 2029 329509 1447248 | 2147483647 149230 122 | 0.000 % |
277.23/277.26 c | 149392 | 2029 329509 1447248 | 2147483647 149392 122 | 0.000 % |
277.73/277.80 c | 149571 | 2029 329509 1447248 | 2147483647 149571 122 | 0.000 % |
278.43/278.42 c | 149767 | 2029 329509 1447248 | 2147483647 149767 122 | 0.000 % |
278.93/278.95 c | 149979 | 2029 329509 1447248 | 2147483647 149979 122 | 0.000 % |
279.33/279.40 c | 150212 | 2029 329509 1447248 | 2147483647 150212 122 | 0.000 % |
280.23/280.27 c | 150469 | 2029 329509 1447248 | 2147483647 150469 122 | 0.000 % |
280.83/280.85 c | 150751 | 2029 329509 1447248 | 2147483647 150751 122 | 0.000 % |
281.73/281.73 c | 151060 | 2029 329509 1447248 | 2147483647 151060 122 | 0.000 % |
282.83/282.89 c | 151400 | 2029 329509 1447248 | 2147483647 151400 122 | 0.000 % |
284.73/284.80 c | 151774 | 2029 329509 1447248 | 2147483647 151774 122 | 0.000 % |
286.33/286.38 c | 152184 | 2029 329509 1447248 | 2147483647 152184 122 | 0.000 % |
287.53/287.52 c | 152633 | 2029 329509 1447248 | 2147483647 152633 122 | 0.000 % |
288.33/288.39 c | 153128 | 2029 329509 1447248 | 2147483647 153128 122 | 0.000 % |
289.43/289.41 c | 153671 | 2029 329509 1447248 | 2147483647 153671 122 | 0.000 % |
290.13/290.17 c | 154273 | 2029 329509 1447248 | 2147483647 154273 121 | 0.000 % |
291.53/291.54 c | 154931 | 2029 329509 1447248 | 2147483647 154931 121 | 0.000 % |
293.23/293.23 c | 155652 | 2029 329509 1447248 | 2147483647 155652 121 | 0.000 % |
294.73/294.79 c | 156446 | 2029 329509 1447248 | 2147483647 156446 120 | 0.000 % |
296.73/296.73 c | 157319 | 2029 329509 1447248 | 2147483647 157319 120 | 0.000 % |
298.13/298.18 c | 158277 | 2029 329509 1447248 | 2147483647 158277 120 | 0.000 % |
301.93/301.97 c | 159330 | 2029 329509 1447248 | 2147483647 159330 120 | 0.000 % |
304.73/304.73 c | 160488 | 2029 329509 1447248 | 2147483647 160488 120 | 0.000 % |
307.23/307.29 c | 161761 | 2029 329509 1447248 | 2147483647 161761 120 | 0.000 % |
311.23/311.24 c | 163161 | 2029 329509 1447248 | 2147483647 163161 120 | 0.000 % |
316.73/316.75 c | 164702 | 2029 329509 1447248 | 2147483647 164702 120 | 0.000 % |
321.23/321.27 c | 166396 | 2029 329509 1447248 | 2147483647 166396 120 | 0.000 % |
321.63/321.70 c | 166496 | 2029 329509 1447248 | 2147483647 166496 120 | 0.000 % |
322.03/322.09 c | 166606 | 2029 329509 1447248 | 2147483647 166606 120 | 0.000 % |
322.73/322.77 c | 166727 | 2029 329509 1447248 | 2147483647 166727 120 | 0.000 % |
323.23/323.21 c | 166861 | 2029 329509 1447248 | 2147483647 166861 120 | 0.000 % |
323.63/323.68 c | 167007 | 2029 329509 1447248 | 2147483647 167007 120 | 0.000 % |
324.53/324.59 c | 167168 | 2029 329509 1447248 | 2147483647 167168 120 | 0.000 % |
325.03/325.07 c | 167345 | 2029 329509 1447248 | 2147483647 167345 120 | 0.000 % |
325.63/325.62 c | 167539 | 2029 329509 1447248 | 2147483647 167539 120 | 0.000 % |
326.33/326.38 c | 167751 | 2029 329509 1447248 | 2147483647 167751 120 | 0.000 % |
326.83/326.85 c | 167984 | 2029 329509 1447248 | 2147483647 167984 120 | 0.000 % |
327.53/327.54 c | 168242 | 2029 329509 1447248 | 2147483647 168242 120 | 0.000 % |
328.23/328.23 c | 168523 | 2029 329509 1447248 | 2147483647 168523 120 | 0.000 % |
328.93/328.95 c | 168833 | 2029 329509 1447248 | 2147483647 168833 120 | 0.000 % |
330.23/330.23 c | 169172 | 2029 329509 1447248 | 2147483647 169172 120 | 0.000 % |
331.53/331.54 c | 169544 | 2029 329509 1447248 | 2147483647 169544 120 | 0.000 % |
332.83/332.88 c | 169953 | 2029 329509 1447248 | 2147483647 169953 120 | 0.000 % |
334.23/334.23 c | 170403 | 2029 329509 1447248 | 2147483647 170403 120 | 0.000 % |
335.03/335.08 c | 170896 | 2029 329509 1447248 | 2147483647 170896 120 | 0.000 % |
336.83/336.81 c | 171438 | 2029 329509 1447248 | 2147483647 171438 120 | 0.000 % |
338.63/338.62 c | 172035 | 2029 329509 1447248 | 2147483647 172035 120 | 0.000 % |
340.63/340.63 c | 172690 | 2029 329509 1447248 | 2147483647 172690 120 | 0.000 % |
342.63/342.67 c | 173413 | 2029 329509 1447248 | 2147483647 173413 120 | 0.000 % |
344.93/344.95 c | 174205 | 2029 329509 1447248 | 2147483647 174205 120 | 0.000 % |
347.23/347.26 c | 175076 | 2029 329509 1447248 | 2147483647 175076 120 | 0.000 % |
349.53/349.54 c | 176034 | 2029 329509 1447248 | 2147483647 176034 121 | 0.000 % |
352.23/352.27 c | 177089 | 2029 329509 1447248 | 2147483647 177089 121 | 0.000 % |
356.53/356.55 c | 178249 | 2029 329509 1447248 | 2147483647 178249 121 | 0.000 % |
359.74/359.74 c | 179522 | 2029 329509 1447248 | 2147483647 179522 121 | 0.000 % |
365.83/365.84 c | 180923 | 2029 329509 1447248 | 2147483647 180923 121 | 0.000 % |
371.23/371.26 c | 182463 | 2029 329509 1447248 | 2147483647 182463 121 | 0.000 % |
374.64/374.68 c | 184158 | 2029 329509 1447248 | 2147483647 184158 121 | 0.000 % |
379.84/379.87 c | 186022 | 2029 329509 1447248 | 2147483647 186022 121 | 0.000 % |
380.24/380.27 c | 186124 | 2029 329509 1447248 | 2147483647 186124 121 | 0.000 % |
380.64/380.69 c | 186235 | 2029 329509 1447248 | 2147483647 186235 121 | 0.000 % |
381.04/381.06 c | 186356 | 2029 329509 1447248 | 2147483647 186356 121 | 0.000 % |
381.54/381.58 c | 186489 | 2029 329509 1447248 | 2147483647 186489 121 | 0.000 % |
382.14/382.20 c | 186636 | 2029 329509 1447248 | 2147483647 186636 121 | 0.000 % |
382.84/382.90 c | 186799 | 2029 329509 1447248 | 2147483647 186799 121 | 0.000 % |
383.74/383.80 c | 186975 | 2029 329509 1447248 | 2147483647 186975 121 | 0.000 % |
384.34/384.36 c | 187168 | 2029 329509 1447248 | 2147483647 187168 121 | 0.000 % |
385.34/385.37 c | 187380 | 2029 329509 1447248 | 2147483647 187380 121 | 0.000 % |
386.34/386.33 c | 187613 | 2029 329509 1447248 | 2147483647 187613 121 | 0.000 % |
386.94/387.00 c | 187869 | 2029 329509 1447248 | 2147483647 187869 121 | 0.000 % |
388.04/388.10 c | 188150 | 2029 329509 1447248 | 2147483647 188150 121 | 0.000 % |
388.64/388.67 c | 188461 | 2029 329509 1447248 | 2147483647 188461 121 | 0.000 % |
389.74/389.77 c | 188802 | 2029 329509 1447248 | 2147483647 188802 121 | 0.000 % |
390.94/390.97 c | 189176 | 2029 329509 1447248 | 2147483647 189176 121 | 0.000 % |
391.94/391.94 c | 189585 | 2029 329509 1447248 | 2147483647 189585 121 | 0.000 % |
393.74/393.74 c | 190037 | 2029 329509 1447248 | 2147483647 190037 121 | 0.000 % |
396.24/396.23 c | 190530 | 2029 329509 1447248 | 2147483647 190530 121 | 0.000 % |
397.94/397.96 c | 191072 | 2029 329509 1447248 | 2147483647 191072 121 | 0.000 % |
399.54/399.56 c | 191669 | 2029 329509 1447248 | 2147483647 191669 121 | 0.000 % |
401.94/401.92 c | 192325 | 2029 329509 1447248 | 2147483647 192325 121 | 0.000 % |
405.44/405.42 c | 193045 | 2029 329509 1447248 | 2147483647 193045 121 | 0.000 % |
407.74/407.75 c | 193838 | 2029 329509 1447248 | 2147483647 193838 121 | 0.000 % |
410.14/410.16 c | 194709 | 2029 329509 1447248 | 2147483647 194709 121 | 0.000 % |
412.84/412.83 c | 195668 | 2029 329509 1447248 | 2147483647 195668 121 | 0.000 % |
415.34/415.36 c | 196722 | 2029 329509 1447248 | 2147483647 196722 121 | 0.000 % |
420.04/420.10 c | 197880 | 2029 329509 1447248 | 2147483647 197880 121 | 0.000 % |
422.64/422.65 c | 199155 | 2029 329509 1447248 | 2147483647 199155 121 | 0.000 % |
426.84/426.91 c | 200555 | 2029 329509 1447248 | 2147483647 200555 121 | 0.000 % |
433.74/433.76 c | 202096 | 2029 329509 1447248 | 2147483647 202096 121 | 0.000 % |
437.84/437.85 c | 203793 | 2029 329509 1447248 | 2147483647 203793 121 | 0.000 % |
443.54/443.59 c | 205657 | 2029 329509 1447248 | 2147483647 205657 121 | 0.000 % |
451.14/451.20 c | 207706 | 2029 329509 1447248 | 2147483647 207706 121 | 0.000 % |
451.64/451.65 c | 207807 | 2029 329509 1447248 | 2147483647 207807 121 | 0.000 % |
452.24/452.29 c | 207921 | 2029 329509 1447248 | 2147483647 207921 121 | 0.000 % |
453.25/453.24 c | 208045 | 2029 329509 1447248 | 2147483647 208045 121 | 0.000 % |
453.84/453.83 c | 208178 | 2029 329509 1447248 | 2147483647 208178 121 | 0.000 % |
454.54/454.61 c | 208324 | 2029 329509 1447248 | 2147483647 208324 121 | 0.000 % |
455.24/455.24 c | 208484 | 2029 329509 1447248 | 2147483647 208484 121 | 0.000 % |
455.74/455.73 c | 208660 | 2029 329509 1447248 | 2147483647 208660 121 | 0.000 % |
456.55/456.57 c | 208854 | 2029 329509 1447248 | 2147483647 208854 121 | 0.000 % |
457.34/457.35 c | 209068 | 2029 329509 1447248 | 2147483647 209068 121 | 0.000 % |
458.64/458.65 c | 209301 | 2029 329509 1447248 | 2147483647 209301 121 | 0.000 % |
459.54/459.58 c | 209557 | 2029 329509 1447248 | 2147483647 209557 121 | 0.000 % |
460.34/460.37 c | 209839 | 2029 329509 1447248 | 2147483647 209839 121 | 0.000 % |
461.94/461.96 c | 210148 | 2029 329509 1447248 | 2147483647 210148 121 | 0.000 % |
462.94/462.93 c | 210488 | 2029 329509 1447248 | 2147483647 210488 121 | 0.000 % |
464.25/464.28 c | 210860 | 2029 329509 1447248 | 2147483647 210860 121 | 0.000 % |
465.44/465.46 c | 211269 | 2029 329509 1447248 | 2147483647 211269 121 | 0.000 % |
466.74/466.75 c | 211718 | 2029 329509 1447248 | 2147483647 211718 121 | 0.000 % |
468.24/468.25 c | 212212 | 2029 329509 1447248 | 2147483647 212212 121 | 0.000 % |
470.54/470.55 c | 212756 | 2029 329509 1447248 | 2147483647 212756 121 | 0.000 % |
471.74/471.74 c | 213352 | 2029 329509 1447248 | 2147483647 213352 122 | 0.000 % |
473.44/473.46 c | 214007 | 2029 329509 1447248 | 2147483647 214007 122 | 0.000 % |
476.34/476.39 c | 214729 | 2029 329509 1447248 | 2147483647 214729 122 | 0.000 % |
478.33/478.37 c | 215522 | 2029 329509 1447248 | 2147483647 215522 122 | 0.000 % |
480.13/480.19 c | 216394 | 2029 329509 1447248 | 2147483647 216394 122 | 0.000 % |
482.73/482.76 c | 217354 | 2029 329509 1447248 | 2147483647 217354 122 | 0.000 % |
487.24/487.30 c | 218408 | 2029 329509 1447248 | 2147483647 218408 122 | 0.000 % |
491.54/491.52 c | 219566 | 2029 329509 1447248 | 2147483647 219566 122 | 0.000 % |
495.94/495.93 c | 220839 | 2029 329509 1447248 | 2147483647 220839 122 | 0.000 % |
500.14/500.20 c | 222243 | 2029 329509 1447248 | 2147483647 222243 122 | 0.000 % |
504.54/504.51 c | 223783 | 2029 329509 1447248 | 2147483647 223783 122 | 0.000 % |
510.24/510.30 c | 225479 | 2029 329509 1447248 | 2147483647 225479 123 | 0.000 % |
514.44/514.47 c | 227343 | 2029 329509 1447248 | 2147483647 227343 123 | 0.000 % |
521.94/521.95 c | 229394 | 2029 329509 1447248 | 2147483647 229394 123 | 0.000 % |
529.54/529.52 c | 231648 | 2029 329509 1447248 | 2147483647 231648 123 | 0.000 % |
529.84/529.89 c | 231748 | 2029 329509 1447248 | 2147483647 231748 123 | 0.000 % |
530.24/530.26 c | 231859 | 2029 329509 1447248 | 2147483647 231859 123 | 0.000 % |
530.64/530.61 c | 231980 | 2029 329509 1447248 | 2147483647 231980 123 | 0.000 % |
531.04/531.03 c | 232113 | 2029 329509 1447248 | 2147483647 232113 123 | 0.000 % |
531.54/531.61 c | 232261 | 2029 329509 1447248 | 2147483647 232261 123 | 0.000 % |
532.04/532.07 c | 232421 | 2029 329509 1447248 | 2147483647 232421 123 | 0.000 % |
532.54/532.59 c | 232597 | 2029 329509 1447248 | 2147483647 232597 123 | 0.000 % |
533.44/533.50 c | 232790 | 2029 329509 1447248 | 2147483647 232790 123 | 0.000 % |
534.64/534.66 c | 233005 | 2029 329509 1447248 | 2147483647 233005 123 | 0.000 % |
535.54/535.53 c | 233242 | 2029 329509 1447248 | 2147483647 233242 123 | 0.000 % |
537.54/537.56 c | 233498 | 2029 329509 1447248 | 2147483647 233498 123 | 0.000 % |
538.34/538.34 c | 233779 | 2029 329509 1447248 | 2147483647 233779 123 | 0.000 % |
539.74/539.74 c | 234092 | 2029 329509 1447248 | 2147483647 234092 123 | 0.000 % |
542.44/542.44 c | 234431 | 2029 329509 1447248 | 2147483647 234431 123 | 0.000 % |
544.84/544.81 c | 234803 | 2029 329509 1447248 | 2147483647 234803 123 | 0.000 % |
546.94/546.91 c | 235212 | 2029 329509 1447248 | 2147483647 235212 123 | 0.000 % |
549.24/549.26 c | 235661 | 2029 329509 1447248 | 2147483647 235661 123 | 0.000 % |
552.44/552.47 c | 236154 | 2029 329509 1447248 | 2147483647 236154 123 | 0.000 % |
554.64/554.66 c | 236698 | 2029 329509 1447248 | 2147483647 236698 123 | 0.000 % |
557.74/557.76 c | 237298 | 2029 329509 1447248 | 2147483647 237298 123 | 0.000 % |
560.84/560.81 c | 237954 | 2029 329509 1447248 | 2147483647 237954 123 | 0.000 % |
563.44/563.46 c | 238678 | 2029 329509 1447248 | 2147483647 238678 123 | 0.000 % |
566.44/566.45 c | 239471 | 2029 329509 1447248 | 2147483647 239471 123 | 0.000 % |
569.34/569.31 c | 240343 | 2029 329509 1447248 | 2147483647 240343 123 | 0.000 % |
573.04/573.08 c | 241301 | 2029 329509 1447248 | 2147483647 241301 123 | 0.000 % |
578.34/578.33 c | 242356 | 2029 329509 1447248 | 2147483647 242356 123 | 0.000 % |
581.74/581.75 c | 243515 | 2029 329509 1447248 | 2147483647 243515 123 | 0.000 % |
588.74/588.75 c | 244789 | 2029 329509 1447248 | 2147483647 244789 123 | 0.000 % |
595.44/595.46 c | 246191 | 2029 329509 1447248 | 2147483647 246191 123 | 0.000 % |
601.44/601.48 c | 247731 | 2029 329509 1447248 | 2147483647 247731 123 | 0.000 % |
607.45/607.49 c | 249425 | 2029 329509 1447248 | 2147483647 249425 123 | 0.000 % |
616.55/616.56 c | 251290 | 2029 329509 1447248 | 2147483647 251290 122 | 0.000 % |
625.95/625.95 c | 253339 | 2029 329509 1447248 | 2147483647 253339 122 | 0.000 % |
636.15/636.19 c | 255593 | 2029 329509 1447248 | 2147483647 255593 122 | 0.000 % |
651.05/651.08 c | 258072 | 2029 329509 1447248 | 2147483647 258072 122 | 0.000 % |
651.55/651.54 c | 258175 | 2029 329509 1447248 | 2147483647 258175 122 | 0.000 % |
652.35/652.32 c | 258285 | 2029 329509 1447248 | 2147483647 258285 122 | 0.000 % |
653.05/653.05 c | 258409 | 2029 329509 1447248 | 2147483647 258409 122 | 0.000 % |
653.75/653.73 c | 258542 | 2029 329509 1447248 | 2147483647 258542 122 | 0.000 % |
654.45/654.49 c | 258691 | 2029 329509 1447248 | 2147483647 258691 122 | 0.000 % |
655.45/655.51 c | 258855 | 2029 329509 1447248 | 2147483647 258855 122 | 0.000 % |
656.35/656.36 c | 259035 | 2029 329509 1447248 | 2147483647 259035 122 | 0.000 % |
657.55/657.52 c | 259228 | 2029 329509 1447248 | 2147483647 259228 122 | 0.000 % |
658.65/658.66 c | 259440 | 2029 329509 1447248 | 2147483647 259440 122 | 0.000 % |
659.45/659.44 c | 259673 | 2029 329509 1447248 | 2147483647 259673 122 | 0.000 % |
660.25/660.28 c | 259929 | 2029 329509 1447248 | 2147483647 259929 122 | 0.000 % |
660.95/660.91 c | 260210 | 2029 329509 1447248 | 2147483647 260210 122 | 0.000 % |
662.45/662.45 c | 260519 | 2029 329509 1447248 | 2147483647 260519 122 | 0.000 % |
664.45/664.46 c | 260858 | 2029 329509 1447248 | 2147483647 260858 122 | 0.000 % |
666.25/666.23 c | 261230 | 2029 329509 1447248 | 2147483647 261230 122 | 0.000 % |
668.15/668.18 c | 261639 | 2029 329509 1447248 | 2147483647 261639 122 | 0.000 % |
669.25/669.23 c | 262088 | 2029 329509 1447248 | 2147483647 262088 122 | 0.000 % |
670.95/670.95 c | 262581 | 2029 329509 1447248 | 2147483647 262581 123 | 0.000 % |
673.05/673.03 c | 263124 | 2029 329509 1447248 | 2147483647 263124 123 | 0.000 % |
676.05/676.03 c | 263720 | 2029 329509 1447248 | 2147483647 263720 123 | 0.000 % |
677.95/677.93 c | 264376 | 2029 329509 1447248 | 2147483647 264376 123 | 0.000 % |
679.86/679.83 c | 265096 | 2029 329509 1447248 | 2147483647 265096 123 | 0.000 % |
683.25/683.28 c | 265889 | 2029 329509 1447248 | 2147483647 265889 123 | 0.000 % |
688.85/688.85 c | 266763 | 2029 329509 1447248 | 2147483647 266763 123 | 0.000 % |
692.95/693.00 c | 267722 | 2029 329509 1447248 | 2147483647 267722 123 | 0.000 % |
694.75/694.81 c | 268775 | 2029 329509 1447248 | 2147483647 268775 122 | 0.000 % |
704.15/704.16 c | 269935 | 2029 329509 1447248 | 2147483647 269935 122 | 0.000 % |
710.66/710.63 c | 271210 | 2029 329509 1447248 | 2147483647 271210 122 | 0.000 % |
714.75/714.74 c | 272610 | 2029 329509 1447248 | 2147483647 272610 122 | 0.000 % |
719.86/719.90 c | 274150 | 2029 329509 1447248 | 2147483647 274150 122 | 0.000 % |
724.36/724.39 c | 275845 | 2029 329509 1447248 | 2147483647 275845 122 | 0.000 % |
732.76/732.76 c | 277708 | 2029 329509 1447248 | 2147483647 277708 122 | 0.000 % |
740.26/740.30 c | 279757 | 2029 329509 1447248 | 2147483647 279757 122 | 0.000 % |
746.76/746.75 c | 282010 | 2029 329509 1447248 | 2147483647 282010 122 | 0.000 % |
759.76/759.73 c | 284488 | 2029 329509 1447248 | 2147483647 284488 123 | 0.000 % |
763.96/763.97 c | 287213 | 2029 329509 1447248 | 2147483647 287213 123 | 0.000 % |
764.26/764.28 c | 287315 | 2029 329509 1447248 | 2147483647 287315 123 | 0.000 % |
764.66/764.66 c | 287427 | 2029 329509 1447248 | 2147483647 287427 123 | 0.000 % |
765.16/765.12 c | 287548 | 2029 329509 1447248 | 2147483647 287548 123 | 0.000 % |
766.06/766.06 c | 287681 | 2029 329509 1447248 | 2147483647 287681 123 | 0.000 % |
766.96/766.95 c | 287827 | 2029 329509 1447248 | 2147483647 287827 123 | 0.000 % |
768.16/768.15 c | 287987 | 2029 329509 1447248 | 2147483647 287987 123 | 0.000 % |
769.26/769.30 c | 288164 | 2029 329509 1447248 | 2147483647 288164 123 | 0.000 % |
769.96/770.01 c | 288357 | 2029 329509 1447248 | 2147483647 288357 123 | 0.000 % |
770.66/770.67 c | 288570 | 2029 329509 1447248 | 2147483647 288570 122 | 0.000 % |
771.66/771.62 c | 288803 | 2029 329509 1447248 | 2147483647 288803 122 | 0.000 % |
773.26/773.25 c | 289061 | 2029 329509 1447248 | 2147483647 289061 122 | 0.000 % |
774.96/774.95 c | 289346 | 2029 329509 1447248 | 2147483647 289346 122 | 0.000 % |
776.16/776.12 c | 289658 | 2029 329509 1447248 | 2147483647 289658 122 | 0.000 % |
777.46/777.48 c | 289998 | 2029 329509 1447248 | 2147483647 289998 122 | 0.000 % |
779.36/779.36 c | 290373 | 2029 329509 1447248 | 2147483647 290373 122 | 0.000 % |
780.86/780.82 c | 290784 | 2029 329509 1447248 | 2147483647 290784 122 | 0.000 % |
783.16/783.12 c | 291233 | 2029 329509 1447248 | 2147483647 291233 122 | 0.000 % |
785.76/785.76 c | 291728 | 2029 329509 1447248 | 2147483647 291728 122 | 0.000 % |
788.76/788.74 c | 292274 | 2029 329509 1447248 | 2147483647 292274 122 | 0.000 % |
791.46/791.42 c | 292870 | 2029 329509 1447248 | 2147483647 292870 122 | 0.000 % |
794.06/794.05 c | 293527 | 2029 329509 1447248 | 2147483647 293527 122 | 0.000 % |
796.47/796.46 c | 294247 | 2029 329509 1447248 | 2147483647 294247 122 | 0.000 % |
799.56/799.57 c | 295041 | 2029 329509 1447248 | 2147483647 295041 122 | 0.000 % |
802.86/802.91 c | 295912 | 2029 329509 1447248 | 2147483647 295912 122 | 0.000 % |
805.96/805.96 c | 296871 | 2029 329509 1447248 | 2147483647 296871 122 | 0.000 % |
808.76/808.72 c | 297924 | 2029 329509 1447248 | 2147483647 297924 122 | 0.000 % |
811.56/811.52 c | 299085 | 2029 329509 1447248 | 2147483647 299085 122 | 0.000 % |
816.66/816.70 c | 300360 | 2029 329509 1447248 | 2147483647 300360 122 | 0.000 % |
825.86/825.83 c | 301761 | 2029 329509 1447248 | 2147483647 301761 122 | 0.000 % |
831.77/831.77 c | 303301 | 2029 329509 1447248 | 2147483647 303301 122 | 0.000 % |
837.06/837.05 c | 304995 | 2029 329509 1447248 | 2147483647 304995 122 | 0.000 % |
848.36/848.39 c | 306862 | 2029 329509 1447248 | 2147483647 306862 122 | 0.000 % |
858.36/858.40 c | 308911 | 2029 329509 1447248 | 2147483647 308911 122 | 0.000 % |
866.46/866.50 c | 311164 | 2029 329509 1447248 | 2147483647 311164 122 | 0.000 % |
877.56/877.55 c | 313642 | 2029 329509 1447248 | 2147483647 313642 122 | 0.000 % |
886.16/886.21 c | 316368 | 2029 329509 1447248 | 2147483647 316368 122 | 0.000 % |
903.76/903.76 c | 319365 | 2029 329509 1447248 | 2147483647 319365 122 | 0.000 % |
904.36/904.32 c | 319465 | 2029 329509 1447248 | 2147483647 319465 122 | 0.000 % |
904.86/904.88 c | 319576 | 2029 329509 1447248 | 2147483647 319576 122 | 0.000 % |
905.66/905.70 c | 319698 | 2029 329509 1447248 | 2147483647 319698 122 | 0.000 % |
906.56/906.61 c | 319835 | 2029 329509 1447248 | 2147483647 319835 122 | 0.000 % |
907.36/907.34 c | 319981 | 2029 329509 1447248 | 2147483647 319981 122 | 0.000 % |
908.46/908.49 c | 320141 | 2029 329509 1447248 | 2147483647 320141 122 | 0.000 % |
909.46/909.48 c | 320320 | 2029 329509 1447248 | 2147483647 320320 122 | 0.000 % |
910.56/910.56 c | 320515 | 2029 329509 1447248 | 2147483647 320515 122 | 0.000 % |
911.86/911.91 c | 320727 | 2029 329509 1447248 | 2147483647 320727 122 | 0.000 % |
913.66/913.61 c | 320960 | 2029 329509 1447248 | 2147483647 320960 122 | 0.000 % |
914.56/914.55 c | 321216 | 2029 329509 1447248 | 2147483647 321216 122 | 0.000 % |
915.86/915.88 c | 321497 | 2029 329509 1447248 | 2147483647 321497 122 | 0.000 % |
917.96/917.96 c | 321807 | 2029 329509 1447248 | 2147483647 321807 122 | 0.000 % |
919.36/919.39 c | 322147 | 2029 329509 1447248 | 2147483647 322147 122 | 0.000 % |
920.66/920.61 c | 322522 | 2029 329509 1447248 | 2147483647 322522 122 | 0.000 % |
922.86/922.84 c | 322932 | 2029 329509 1447248 | 2147483647 322932 122 | 0.000 % |
925.66/925.64 c | 323381 | 2029 329509 1447248 | 2147483647 323381 122 | 0.000 % |
927.56/927.59 c | 323874 | 2029 329509 1447248 | 2147483647 323874 122 | 0.000 % |
930.26/930.23 c | 324416 | 2029 329509 1447248 | 2147483647 324416 122 | 0.000 % |
933.76/933.79 c | 325012 | 2029 329509 1447248 | 2147483647 325012 122 | 0.000 % |
938.06/938.06 c | 325667 | 2029 329509 1447248 | 2147483647 325667 122 | 0.000 % |
941.16/941.18 c | 326387 | 2029 329509 1447248 | 2147483647 326387 122 | 0.000 % |
945.16/945.15 c | 327179 | 2029 329509 1447248 | 2147483647 327179 122 | 0.000 % |
950.57/950.56 c | 328050 | 2029 329509 1447248 | 2147483647 328050 122 | 0.000 % |
954.07/954.03 c | 329009 | 2029 329509 1447248 | 2147483647 329009 122 | 0.000 % |
957.87/957.83 c | 330062 | 2029 329509 1447248 | 2147483647 330062 122 | 0.000 % |
962.17/962.20 c | 331222 | 2029 329509 1447248 | 2147483647 331222 122 | 0.000 % |
969.87/969.84 c | 332496 | 2029 329509 1447248 | 2147483647 332496 122 | 0.000 % |
979.47/979.46 c | 333899 | 2029 329509 1447248 | 2147483647 333899 121 | 0.000 % |
984.37/984.34 c | 335439 | 2029 329509 1447248 | 2147483647 335439 121 | 0.000 % |
995.07/995.05 c | 337133 | 2029 329509 1447248 | 2147483647 337133 121 | 0.000 % |
1006.17/1006.18 c | 338997 | 2029 329509 1447248 | 2147483647 338997 121 | 0.000 % |
1014.17/1014.18 c | 341046 | 2029 329509 1447248 | 2147483647 341046 121 | 0.000 % |
1024.67/1024.63 c | 343300 | 2029 329509 1447248 | 2147483647 343300 122 | 0.000 % |
1033.67/1033.64 c | 345779 | 2029 329509 1447248 | 2147483647 345779 122 | 0.000 % |
1040.97/1040.92 c | 348504 | 2029 329509 1447248 | 2147483647 348504 122 | 0.000 % |
1058.67/1058.64 c | 351502 | 2029 329509 1447248 | 2147483647 351502 122 | 0.000 % |
1072.48/1072.44 c | 354800 | 2029 329509 1447248 | 2147483647 354800 122 | 0.000 % |
1073.28/1073.24 c | 354900 | 2029 329509 1447248 | 2147483647 354900 122 | 0.000 % |
1073.98/1073.94 c | 355012 | 2029 329509 1447248 | 2147483647 355012 122 | 0.000 % |
1074.68/1074.67 c | 355133 | 2029 329509 1447248 | 2147483647 355133 122 | 0.000 % |
1075.68/1075.68 c | 355267 | 2029 329509 1447248 | 2147483647 355267 122 | 0.000 % |
1076.48/1076.45 c | 355414 | 2029 329509 1447248 | 2147483647 355414 122 | 0.000 % |
1077.18/1077.16 c | 355575 | 2029 329509 1447248 | 2147483647 355575 122 | 0.000 % |
1078.48/1078.50 c | 355754 | 2029 329509 1447248 | 2147483647 355754 122 | 0.000 % |
1080.18/1080.19 c | 355947 | 2029 329509 1447248 | 2147483647 355947 122 | 0.000 % |
1081.48/1081.51 c | 356162 | 2029 329509 1447248 | 2147483647 356162 122 | 0.000 % |
1082.78/1082.79 c | 356397 | 2029 329509 1447248 | 2147483647 356397 122 | 0.000 % |
1084.18/1084.17 c | 356654 | 2029 329509 1447248 | 2147483647 356654 122 | 0.000 % |
1085.28/1085.27 c | 356935 | 2029 329509 1447248 | 2147483647 356935 122 | 0.000 % |
1086.48/1086.43 c | 357245 | 2029 329509 1447248 | 2147483647 357245 122 | 0.000 % |
1087.98/1087.95 c | 357584 | 2029 329509 1447248 | 2147483647 357584 122 | 0.000 % |
1089.58/1089.55 c | 357959 | 2029 329509 1447248 | 2147483647 357959 122 | 0.000 % |
1091.58/1091.58 c | 358368 | 2029 329509 1447248 | 2147483647 358368 122 | 0.000 % |
1093.48/1093.46 c | 358817 | 2029 329509 1447248 | 2147483647 358817 122 | 0.000 % |
1097.38/1097.36 c | 359310 | 2029 329509 1447248 | 2147483647 359310 122 | 0.000 % |
1100.38/1100.33 c | 359855 | 2029 329509 1447248 | 2147483647 359855 122 | 0.000 % |
1103.78/1103.76 c | 360452 | 2029 329509 1447248 | 2147483647 360452 122 | 0.000 % |
1106.48/1106.47 c | 361107 | 2029 329509 1447248 | 2147483647 361107 122 | 0.000 % |
1109.88/1109.83 c | 361827 | 2029 329509 1447248 | 2147483647 361827 122 | 0.000 % |
1113.28/1113.26 c | 362621 | 2029 329509 1447248 | 2147483647 362621 122 | 0.000 % |
1115.58/1115.57 c | 363495 | 2029 329509 1447248 | 2147483647 363495 122 | 0.000 % |
1119.08/1119.05 c | 364456 | 2029 329509 1447248 | 2147483647 364456 122 | 0.000 % |
1123.88/1123.84 c | 365512 | 2029 329509 1447248 | 2147483647 365512 122 | 0.000 % |
1131.28/1131.27 c | 366671 | 2029 329509 1447248 | 2147483647 366671 122 | 0.000 % |
1138.97/1138.97 c | 367946 | 2029 329509 1447248 | 2147483647 367946 122 | 0.000 % |
1142.77/1142.71 c | 369347 | 2029 329509 1447248 | 2147483647 369347 122 | 0.000 % |
1155.77/1155.77 c | 370888 | 2029 329509 1447248 | 2147483647 370888 122 | 0.000 % |
1161.87/1161.90 c | 372583 | 2029 329509 1447248 | 2147483647 372583 122 | 0.000 % |
1171.58/1171.52 c | 374446 | 2029 329509 1447248 | 2147483647 374446 122 | 0.000 % |
1187.58/1187.56 c | 376495 | 2029 329509 1447248 | 2147483647 376495 123 | 0.000 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821736-1242559082/watcher-1821736-1242559082 -o /tmp/evaluation-result-1821736-1242559082/solver-1821736-1242559082 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821736-1242559082.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/91 32755
/proc/meminfo: memFree=626332/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2416 CPUtime=0
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 368 648 0 0 0 0 0 0 18 0 1 0 1020408578 2473984 277 4294967295 134512640 135169312 3214761248 3214759784 3085852398 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32755/statm: 604 277 235 161 0 43 0
[pid=32759] ppid=32755 vsize=816 CPUtime=0
/proc/32759/stat : 32759 (SatELite_releas) R 32755 32755 9090 0 -1 4194304 67 0 0 0 0 0 0 0 18 0 1 0 1020408579 835584 3 4294967295 134512640 135223648 3219456400 3214759876 3085855210 0 0 0 0 0 0 0 17 2 0 0 0
/proc/32759/statm: 205 15 9 174 0 30 0
[startup+0.076285 s]
/proc/loadavg: 0.92 0.98 0.99 2/91 32755
/proc/meminfo: memFree=626332/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2416 CPUtime=0
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 368 648 0 0 0 0 0 0 18 0 1 0 1020408578 2473984 277 4294967295 134512640 135169312 3214761248 3214759784 3085852398 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32755/statm: 604 277 235 161 0 43 0
[pid=32759] ppid=32755 vsize=7116 CPUtime=0.08
/proc/32759/stat : 32759 (SatELite_releas) R 32755 32755 9090 0 -1 4202496 1647 0 0 0 8 0 0 0 18 0 1 0 1020408579 7286784 1583 4294967295 134512640 135223648 3219456400 3219455352 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32759/statm: 1779 1583 46 174 0 1604 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9532
[startup+0.116283 s]
/proc/loadavg: 0.92 0.98 0.99 2/91 32755
/proc/meminfo: memFree=626332/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2416 CPUtime=0
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 368 648 0 0 0 0 0 0 18 0 1 0 1020408578 2473984 277 4294967295 134512640 135169312 3214761248 3214759784 3085852398 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32755/statm: 604 277 235 161 0 43 0
[pid=32759] ppid=32755 vsize=10272 CPUtime=0.12
/proc/32759/stat : 32759 (SatELite_releas) R 32755 32755 9090 0 -1 4202496 2385 0 0 0 12 0 0 0 18 0 1 0 1020408579 10518528 2321 4294967295 134512640 135223648 3219456400 3219455352 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32759/statm: 2568 2322 46 174 0 2393 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 12688
[startup+0.316273 s]
/proc/loadavg: 0.92 0.98 0.99 2/91 32755
/proc/meminfo: memFree=626332/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2416 CPUtime=0
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 368 648 0 0 0 0 0 0 18 0 1 0 1020408578 2473984 277 4294967295 134512640 135169312 3214761248 3214759784 3085852398 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32755/statm: 604 277 235 161 0 43 0
[pid=32759] ppid=32755 vsize=25060 CPUtime=0.32
/proc/32759/stat : 32759 (SatELite_releas) R 32755 32755 9090 0 -1 4202496 5972 0 0 0 30 2 0 0 18 0 1 0 1020408579 25661440 5908 4294967295 134512640 135223648 3219456400 3219454416 134586709 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32759/statm: 6265 5908 73 174 0 6090 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 27476
[startup+0.716254 s]
/proc/loadavg: 0.92 0.98 0.99 2/91 32755
/proc/meminfo: memFree=626332/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2416 CPUtime=0
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 368 648 0 0 0 0 0 0 18 0 1 0 1020408578 2473984 277 4294967295 134512640 135169312 3214761248 3214759784 3085852398 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32755/statm: 604 277 235 161 0 43 0
[pid=32759] ppid=32755 vsize=27620 CPUtime=0.72
/proc/32759/stat : 32759 (SatELite_releas) R 32755 32755 9090 0 -1 4202496 6583 0 0 0 69 3 0 0 18 0 1 0 1020408579 28282880 6519 4294967295 134512640 135223648 3219456400 3219454400 134548331 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32759/statm: 6905 6519 73 174 0 6730 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 30036
[startup+1.51622 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 32760
/proc/meminfo: memFree=598392/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2416 CPUtime=0
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 368 648 0 0 0 0 0 0 18 0 1 0 1020408578 2473984 277 4294967295 134512640 135169312 3214761248 3214759784 3085852398 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32755/statm: 604 277 235 161 0 43 0
[pid=32759] ppid=32755 vsize=37044 CPUtime=1.52
/proc/32759/stat : 32759 (SatELite_releas) R 32755 32755 9090 0 -1 4202496 8262 0 0 0 147 5 0 0 20 0 1 0 1020408579 37933056 8198 4294967295 134512640 135223648 3219456400 3219454496 134585544 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32759/statm: 9261 8198 73 174 0 9086 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 39460
[startup+3.11614 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 32760
/proc/meminfo: memFree=592564/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2416 CPUtime=0
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 368 648 0 0 0 0 0 0 18 0 1 0 1020408578 2473984 277 4294967295 134512640 135169312 3214761248 3214759784 3085852398 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32755/statm: 604 277 235 161 0 43 0
[pid=32759] ppid=32755 vsize=37044 CPUtime=3.12
/proc/32759/stat : 32759 (SatELite_releas) R 32755 32755 9090 0 -1 4202496 8262 0 0 0 307 5 0 0 25 0 1 0 1020408579 37933056 8198 4294967295 134512640 135223648 3219456400 3219454496 134585544 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32759/statm: 9261 8198 73 174 0 9086 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 39460
[startup+6.31599 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 32761
/proc/meminfo: memFree=602144/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=18496 CPUtime=1.18
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 4438 0 0 0 113 5 0 0 25 0 1 0 1020409093 18939904 4373 4294967295 134512640 135215339 3216443152 3216441440 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 4624 4373 73 172 0 4451 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 20916
[startup+12.7157 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 32761
/proc/meminfo: memFree=597164/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=22460 CPUtime=7.58
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 5409 0 0 0 753 5 0 0 25 0 1 0 1020409093 22999040 5344 4294967295 134512640 135215339 3216443152 3216441440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 5615 5344 73 172 0 5442 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 24880
[startup+25.5151 s]
/proc/loadavg: 0.94 0.98 0.99 2/93 32761
/proc/meminfo: memFree=590456/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=29016 CPUtime=20.38
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 7051 0 0 0 2032 6 0 0 25 0 1 0 1020409093 29712384 6986 4294967295 134512640 135215339 3216443152 3216441440 134528776 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 7254 6986 73 172 0 7081 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 31436
[startup+51.1238 s]
/proc/loadavg: 0.96 0.98 0.99 2/93 479
/proc/meminfo: memFree=578388/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=40424 CPUtime=45.99
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 9903 0 0 0 4591 8 0 0 25 0 1 0 1020409093 41394176 9838 4294967295 134512640 135215339 3216443152 3216441440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 10106 9838 73 172 0 9933 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 42844
[startup+102.331 s]
/proc/loadavg: 0.98 0.98 0.99 2/93 483
/proc/meminfo: memFree=559928/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=58800 CPUtime=97.2
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 14467 0 0 0 9709 11 0 0 25 0 1 0 1020409093 60211200 14402 4294967295 134512640 135215339 3216443152 3216441440 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 14700 14402 73 172 0 14527 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 61220
[startup+162.319 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 671
/proc/meminfo: memFree=543212/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=76004 CPUtime=157.19
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 18742 0 0 0 15706 13 0 0 25 0 1 0 1020409093 77828096 18677 4294967295 134512640 135215339 3216443152 3216441440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 19001 18677 73 172 0 18828 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 78424
[startup+222.316 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 861
/proc/meminfo: memFree=528192/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=91024 CPUtime=217.19
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 22520 0 0 0 21704 15 0 0 25 0 1 0 1020409093 93208576 22455 4294967295 134512640 135215339 3216443152 3216441440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 22756 22455 73 172 0 22583 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 93444
[startup+282.313 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 1060
/proc/meminfo: memFree=517784/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=101924 CPUtime=277.19
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 25168 0 0 0 27703 16 0 0 25 0 1 0 1020409093 104370176 25103 4294967295 134512640 135215339 3216443152 3216441440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 25481 25103 73 172 0 25308 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 104344
[startup+342.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 1248
/proc/meminfo: memFree=507120/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=112384 CPUtime=337.19
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 27783 0 0 0 33701 18 0 0 25 0 1 0 1020409093 115081216 27718 4294967295 134512640 135215339 3216443152 3216441440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 28096 27718 73 172 0 27923 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
/proc/32761/statm: 36092 35634 73 172 0 35919 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 146788
[startup+582.308 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 2006
/proc/meminfo: memFree=467564/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=152416 CPUtime=577.2
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 37675 0 0 0 57694 26 0 0 25 0 1 0 1020409093 156073984 37610 4294967295 134512640 135215339 3216443152 3216441440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 38104 37610 73 172 0 37931 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 154836
[startup+642.316 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 2193
/proc/meminfo: memFree=460992/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=158916 CPUtime=637.21
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 39296 0 0 0 63695 26 0 0 25 0 1 0 1020409093 162729984 39231 4294967295 134512640 135215339 3216443152 3216441440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 39729 39231 73 172 0 39556 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 161336
[startup+702.313 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 2381
/proc/meminfo: memFree=453676/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=166288 CPUtime=697.21
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 41126 0 0 0 69695 26 0 0 25 0 1 0 1020409093 170278912 41061 4294967295 134512640 135215339 3216443152 3216441440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 41572 41061 73 172 0 41399 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 168708
[startup+762.32 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 2573
/proc/meminfo: memFree=445004/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=174968 CPUtime=757.22
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 43317 0 0 0 75695 27 0 0 25 0 1 0 1020409093 179167232 43252 4294967295 134512640 135215339 3216443152 3216441440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 43742 43252 73 172 0 43569 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 177388
[startup+822.317 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 2762
/proc/meminfo: memFree=437300/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=182928 CPUtime=817.22
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 45296 0 0 0 81694 28 0 0 25 0 1 0 1020409093 187318272 45231 4294967295 134512640 135215339 3216443152 3216441440 134528734 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 45732 45231 73 172 0 45559 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 185348
[startup+882.314 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 2956
/proc/meminfo: memFree=430736/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=190100 CPUtime=877.22
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 46925 0 0 0 87694 28 0 0 25 0 1 0 1020409093 194662400 46860 4294967295 134512640 135215339 3216443152 3216441440 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 47525 46860 73 172 0 47352 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 192520
[startup+942.311 s]
/proc/loadavg: 1.10 1.01 1.00 3/93 3151
/proc/meminfo: memFree=424412/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=196348 CPUtime=937.22
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 48491 0 0 0 93692 30 0 0 25 0 1 0 1020409093 201060352 48426 4294967295 134512640 135215339 3216443152 3216441440 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 49087 48426 73 172 0 48914 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 198768
[startup+1002.32 s]
/proc/loadavg: 1.04 1.01 1.00 3/93 3340
/proc/meminfo: memFree=418584/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=202232 CPUtime=997.23
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 49949 0 0 0 99686 37 0 0 25 0 1 0 1020409093 207085568 49884 4294967295 134512640 135215339 3216443152 3216441440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 50558 49884 73 172 0 50385 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 204652
[startup+1062.33 s]
/proc/loadavg: 1.01 1.00 1.00 3/93 3530
/proc/meminfo: memFree=410284/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=210508 CPUtime=1057.24
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 52023 0 0 0 105685 39 0 0 25 0 1 0 1020409093 215560192 51958 4294967295 134512640 135215339 3216443152 3216441440 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 52627 51958 73 172 0 52454 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 212928
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 3726
/proc/meminfo: memFree=402828/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=217740 CPUtime=1117.24
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 53852 0 0 0 111685 39 0 0 25 0 1 0 1020409093 222965760 53787 4294967295 134512640 135215339 3216443152 3216441440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 54435 53787 73 172 0 54262 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 220160
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 3937
/proc/meminfo: memFree=396512/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=224112 CPUtime=1177.24
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 55418 0 0 0 117682 42 0 0 25 0 1 0 1020409093 229490688 55353 4294967295 134512640 135215339 3216443152 3216441440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 56028 55353 73 172 0 55855 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 226532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 4122
/proc/meminfo: memFree=394476/2074464 swapFree=1953004/1959888
[pid=32755] ppid=32753 vsize=2420 CPUtime=5.14
/proc/32755/stat : 32755 (SatELiteGTI) S 32753 32755 9090 0 -1 4194304 388 8913 0 0 0 0 507 7 18 0 1 0 1020408578 2478080 278 4294967295 134512640 135169312 3214761248 3214757464 3085852398 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32755/statm: 605 278 235 161 0 44 0
[pid=32761] ppid=32755 vsize=225652 CPUtime=1194.93
/proc/32761/stat : 32761 (minisat_static) R 32755 32755 9090 0 -1 4202496 55817 0 0 0 119449 44 0 0 25 0 1 0 1020409093 231067648 55752 4294967295 134512640 135215339 3216443152 3216441440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32761/statm: 56413 55752 73 172 0 56240 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 228072
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 32755 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=70000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=70000
# CPU time returned by wait4() is 5.14
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.03
CPU time (s): 1200.07
CPU user time (s): 1199.56
CPU system time (s): 0.51
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 228072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.07
system time used= 0.07
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9301
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= 124
runsolver used 0.03 second user time and 0.02 second system time
The end
Begin job on tipi19 at 2009-05-17 13:18:02
IDJOB=1821736
IDBENCH=71077
IDSOLVER=657
FILE ID=tipi19/1821736-1242559082
PBS_JOBID=
Free space on /tmp= 8820 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= runsolver --timestamp -w /tmp/evaluation-result-1821736-1242559082/watcher-1821736-1242559082 -o /tmp/evaluation-result-1821736-1242559082/solver-1821736-1242559082 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821736-1242559082.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8e41b9860982308be5a85106d5324611
RANDOM SEED= 1179475154
Linux tipi19 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 626472 kB
Buffers: 49844 kB
Cached: 1275076 kB
SwapCached: 2992 kB
Active: 371132 kB
Inactive: 963204 kB
HighTotal: 1178688 kB
HighFree: 87840 kB
LowTotal: 895776 kB
LowFree: 538632 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 7204 kB
Writeback: 0 kB
AnonPages: 8936 kB
Mapped: 3224 kB
Slab: 104692 kB
PageTables: 444 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87784 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8811 MiB
End job on tipi19 at 2009-05-17 13:38:05