0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 74789 222346 | 22436 0 0 nan | 0.000 % |
0.00/0.71 c | 0 | 73888 319243 | -- 0 -- -- | -- | -901/96897
0.00/0.71 c ==============================================================================
0.00/0.71 c Result : #vars: 763 #clauses: 73888 #literals: 319243
0.00/0.71 c CPU time: 0.697893 s
0.00/0.71 c ==============================================================================
0.00/0.81 c This is MiniSat 2.0 beta
0.00/0.81 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.81 c ============================[ Problem Statistics ]=============================
0.00/0.81 c | |
0.00/0.81 c | Number of variables: 763 |
0.00/0.81 c | Number of clauses: 73888 |
0.00/0.85 c | Parsing time: 0.03 s |
0.00/0.85 c ============================[ Search Statistics ]==============================
0.00/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.85 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.85 c ===============================================================================
0.00/0.85 c | 0 | 763 73888 319243 | 24629 0 nan | 0.000 % |
0.00/0.89 c | 100 | 763 73888 319243 | 24629 100 46 | 0.000 % |
0.79/0.92 c | 202 | 763 73888 319243 | 24629 202 41 | 0.000 % |
0.79/0.96 c | 304 | 763 73888 319243 | 24629 304 37 | 0.000 % |
0.97/1.00 c | 415 | 763 73888 319243 | 24629 415 34 | 0.000 % |
0.97/1.04 c | 515 | 763 73888 319243 | 24629 515 32 | 0.000 % |
0.97/1.09 c | 629 | 763 73888 319243 | 24629 629 32 | 0.000 % |
1.07/1.14 c | 750 | 763 73888 319243 | 24629 750 31 | 0.000 % |
1.07/1.18 c | 851 | 763 73888 319243 | 24629 851 30 | 0.000 % |
1.16/1.22 c | 963 | 763 73888 319243 | 24629 963 30 | 0.000 % |
1.16/1.26 c | 1085 | 763 73888 319243 | 24629 1085 29 | 0.000 % |
1.26/1.31 c | 1218 | 763 73888 319243 | 24629 1218 31 | 0.000 % |
1.26/1.34 c | 1318 | 763 73888 319243 | 24629 1318 30 | 0.000 % |
1.26/1.38 c | 1428 | 763 73888 319243 | 24629 1428 30 | 0.000 % |
1.36/1.43 c | 1549 | 763 73888 319243 | 24629 1549 29 | 0.000 % |
1.36/1.48 c | 1683 | 763 73888 319243 | 24629 1683 30 | 0.000 % |
1.46/1.52 c | 1830 | 763 73888 319243 | 24629 1830 31 | 0.000 % |
1.46/1.55 c | 1930 | 763 73888 319243 | 24629 1930 32 | 0.000 % |
1.46/1.58 c | 2040 | 763 73888 319243 | 24629 2040 32 | 0.000 % |
1.56/1.62 c | 2161 | 763 73888 319243 | 24629 2161 33 | 0.000 % |
1.56/1.67 c | 2299 | 763 73888 319243 | 24629 2299 33 | 0.000 % |
1.66/1.72 c | 2445 | 763 73888 319243 | 24629 2445 32 | 0.000 % |
1.66/1.78 c | 2609 | 763 73888 319243 | 24629 2609 32 | 0.000 % |
1.76/1.81 c | 2709 | 763 73888 319243 | 24629 2709 32 | 0.000 % |
1.76/1.86 c | 2821 | 763 73888 319243 | 24629 2821 32 | 0.000 % |
1.87/1.90 c | 2942 | 763 73888 319243 | 24629 2942 32 | 0.000 % |
1.87/1.96 c | 3079 | 763 73888 319243 | 24629 3079 32 | 0.000 % |
1.97/2.02 c | 3225 | 763 73888 319243 | 24629 3225 32 | 0.000 % |
1.97/2.08 c | 3385 | 763 73888 319243 | 24629 3385 32 | 0.000 % |
2.07/2.14 c | 3562 | 763 73888 319243 | 24629 3562 32 | 0.000 % |
2.07/2.18 c | 3663 | 763 73888 319243 | 24629 3663 32 | 0.000 % |
2.17/2.23 c | 3773 | 763 73888 319243 | 24629 3773 32 | 0.000 % |
2.17/2.27 c | 3894 | 763 73888 319243 | 24629 3894 32 | 0.000 % |
2.27/2.31 c | 4027 | 763 73888 319243 | 24629 4027 32 | 0.000 % |
2.27/2.37 c | 4177 | 763 73888 319243 | 24629 4177 32 | 0.000 % |
2.37/2.43 c | 4338 | 763 73888 319243 | 24629 4338 32 | 0.000 % |
2.47/2.50 c | 4517 | 763 73888 319243 | 24629 4517 32 | 0.000 % |
2.47/2.57 c | 4710 | 763 73888 319243 | 24629 4710 32 | 0.000 % |
2.57/2.61 c | 4811 | 763 73888 319243 | 24629 4811 32 | 0.000 % |
2.57/2.66 c | 4922 | 763 73888 319243 | 24629 4922 32 | 0.000 % |
2.67/2.70 c | 5043 | 763 73888 319243 | 24629 5043 32 | 0.000 % |
2.67/2.76 c | 5177 | 763 73888 319243 | 24629 5177 32 | 0.000 % |
2.77/2.80 c | 5323 | 763 73888 319243 | 24629 5323 33 | 0.000 % |
2.77/2.86 c | 5484 | 763 73888 319243 | 24629 5484 33 | 0.000 % |
2.87/2.92 c | 5662 | 763 73888 319243 | 24629 5662 33 | 0.000 % |
2.87/3.00 c | 5855 | 763 73888 319243 | 24629 5855 33 | 0.000 % |
2.97/3.08 c | 6070 | 763 73888 319243 | 24629 6070 32 | 0.000 % |
3.07/3.12 c | 6170 | 763 73888 319243 | 24629 6170 33 | 0.000 % |
3.07/3.16 c | 6282 | 763 73888 319243 | 24629 6282 33 | 0.000 % |
3.07/3.19 c | 6404 | 763 73888 319243 | 24629 6404 33 | 0.000 % |
3.17/3.23 c | 6538 | 763 73888 319243 | 24629 6538 33 | 0.000 % |
3.17/3.28 c | 6685 | 763 73888 319243 | 24629 6685 33 | 0.000 % |
3.27/3.33 c | 6846 | 763 73888 319243 | 24629 6846 33 | 0.000 % |
3.37/3.41 c | 7022 | 763 73888 319243 | 24629 7022 33 | 0.000 % |
3.37/3.48 c | 7217 | 763 73888 319243 | 24629 7217 34 | 0.000 % |
3.47/3.54 c | 7429 | 763 73888 319243 | 24629 7429 34 | 0.000 % |
3.57/3.61 c | 7662 | 763 73888 319243 | 24629 7662 34 | 0.000 % |
3.57/3.64 c | 7763 | 763 73888 319243 | 24629 7763 34 | 0.000 % |
3.57/3.67 c | 7873 | 763 73888 319243 | 24629 7873 34 | 0.000 % |
3.67/3.70 c | 7995 | 763 73888 319243 | 24629 7995 34 | 0.000 % |
3.67/3.73 c | 8128 | 763 73888 319243 | 24629 8128 34 | 0.000 % |
3.67/3.79 c | 8274 | 763 73888 319243 | 24629 8274 34 | 0.000 % |
3.77/3.84 c | 8435 | 763 73888 319243 | 24629 8435 34 | 0.000 % |
3.77/3.89 c | 8611 | 763 73888 319243 | 24629 8611 35 | 0.000 % |
3.87/3.98 c | 8804 | 763 73888 319243 | 24629 8804 35 | 0.000 % |
3.97/4.08 c | 9017 | 763 73888 319243 | 24629 9017 34 | 0.000 % |
4.07/4.15 c | 9250 | 763 73888 319243 | 24629 9250 35 | 0.000 % |
4.17/4.22 c | 9506 | 763 73888 319243 | 24629 9506 35 | 0.000 % |
4.17/4.26 c | 9610 | 763 73888 319243 | 24629 9610 35 | 0.000 % |
4.27/4.32 c | 9721 | 763 73888 319243 | 24629 9721 35 | 0.000 % |
4.27/4.38 c | 9843 | 763 73888 319243 | 24629 9843 35 | 0.000 % |
4.37/4.45 c | 9976 | 763 73888 319243 | 24629 9976 35 | 0.000 % |
4.47/4.52 c | 10124 | 763 73888 319243 | 2147483647 10124 35 | 0.000 % |
4.57/4.60 c | 10285 | 763 73888 319243 | 2147483647 10285 35 | 0.000 % |
4.57/4.70 c | 10464 | 763 73888 319243 | 2147483647 10464 35 | 0.000 % |
4.67/4.79 c | 10661 | 763 73888 319243 | 2147483647 10661 34 | 0.000 % |
4.77/4.89 c | 10873 | 763 73888 319243 | 2147483647 10873 34 | 0.000 % |
4.87/4.99 c | 11106 | 763 73888 319243 | 2147483647 11106 34 | 0.000 % |
5.07/5.12 c | 11364 | 763 73888 319243 | 2147483647 11364 34 | 0.000 % |
5.16/5.25 c | 11646 | 763 73888 319243 | 2147483647 11646 33 | 0.000 % |
5.26/5.30 c | 11750 | 763 73888 319243 | 2147483647 11750 33 | 0.000 % |
5.26/5.35 c | 11860 | 763 73888 319243 | 2147483647 11860 33 | 0.000 % |
5.37/5.41 c | 11981 | 763 73888 319243 | 2147483647 11981 33 | 0.000 % |
5.37/5.48 c | 12114 | 763 73888 319243 | 2147483647 12114 33 | 0.000 % |
5.47/5.55 c | 12261 | 763 73888 319243 | 2147483647 12261 33 | 0.000 % |
5.56/5.63 c | 12424 | 763 73888 319243 | 2147483647 12424 33 | 0.000 % |
5.66/5.73 c | 12601 | 763 73888 319243 | 2147483647 12601 33 | 0.000 % |
5.76/5.83 c | 12795 | 763 73888 319243 | 2147483647 12795 33 | 0.000 % |
5.86/5.94 c | 13009 | 763 73888 319243 | 2147483647 13009 33 | 0.000 % |
5.96/6.06 c | 13244 | 763 73888 319243 | 2147483647 13244 33 | 0.000 % |
6.06/6.18 c | 13500 | 763 73888 319243 | 2147483647 13500 33 | 0.000 % |
6.26/6.30 c | 13781 | 763 73888 319243 | 2147483647 13781 33 | 0.000 % |
6.36/6.40 c | 14090 | 763 73888 319243 | 2147483647 14090 33 | 0.000 % |
6.36/6.45 c | 14190 | 763 73888 319243 | 2147483647 14190 33 | 0.000 % |
6.47/6.52 c | 14302 | 763 73888 319243 | 2147483647 14302 33 | 0.000 % |
6.47/6.57 c | 14425 | 763 73888 319243 | 2147483647 14425 33 | 0.000 % |
6.57/6.62 c | 14558 | 763 73888 319243 | 2147483647 14558 34 | 0.000 % |
6.66/6.71 c | 14705 | 763 73888 319243 | 2147483647 14705 34 | 0.000 % |
6.66/6.78 c | 14866 | 763 73888 319243 | 2147483647 14866 34 | 0.000 % |
6.76/6.88 c | 15045 | 763 73888 319243 | 2147483647 15045 34 | 0.000 % |
6.86/6.99 c | 15240 | 763 73888 319243 | 2147483647 15240 34 | 0.000 % |
7.06/7.11 c | 15452 | 763 73888 319243 | 2147483647 15452 34 | 0.000 % |
7.16/7.24 c | 15685 | 763 73888 319243 | 2147483647 15685 34 | 0.000 % |
7.26/7.36 c | 15944 | 763 73888 319243 | 2147483647 15944 34 | 0.000 % |
7.36/7.49 c | 16225 | 763 73888 319243 | 2147483647 16225 34 | 0.000 % |
7.56/7.63 c | 16536 | 763 73888 319243 | 2147483647 16536 34 | 0.000 % |
7.76/7.83 c | 16876 | 763 73888 319243 | 2147483647 16876 34 | 0.000 % |
7.76/7.90 c | 16981 | 763 73888 319243 | 2147483647 16981 34 | 0.000 % |
7.86/7.96 c | 17094 | 763 73888 319243 | 2147483647 17094 34 | 0.000 % |
7.96/8.01 c | 17217 | 763 73888 319243 | 2147483647 17217 34 | 0.000 % |
7.96/8.07 c | 17350 | 763 73888 319243 | 2147483647 17350 34 | 0.000 % |
8.06/8.13 c | 17498 | 763 73888 319243 | 2147483647 17498 34 | 0.000 % |
8.16/8.20 c | 17658 | 763 73888 319243 | 2147483647 17658 34 | 0.000 % |
8.16/8.29 c | 17834 | 763 73888 319243 | 2147483647 17834 34 | 0.000 % |
8.26/8.39 c | 18028 | 763 73888 319243 | 2147483647 18028 34 | 0.000 % |
8.46/8.52 c | 18240 | 763 73888 319243 | 2147483647 18240 34 | 0.000 % |
8.56/8.68 c | 18473 | 763 73888 319243 | 2147483647 18473 34 | 0.000 % |
8.66/8.79 c | 18729 | 763 73888 319243 | 2147483647 18729 35 | 0.000 % |
8.86/8.91 c | 19010 | 763 73888 319243 | 2147483647 19010 35 | 0.000 % |
9.06/9.12 c | 19319 | 763 73888 319243 | 2147483647 19319 35 | 0.000 % |
9.16/9.29 c | 19658 | 763 73888 319243 | 2147483647 19658 35 | 0.000 % |
9.47/9.51 c | 20034 | 763 73888 319243 | 2147483647 20034 35 | 0.000 % |
9.47/9.57 c | 20135 | 763 73888 319243 | 2147483647 20135 35 | 0.000 % |
9.57/9.65 c | 20248 | 763 73888 319243 | 2147483647 20248 35 | 0.000 % |
9.67/9.71 c | 20371 | 763 73888 319243 | 2147483647 20371 35 | 0.000 % |
9.67/9.80 c | 20504 | 763 73888 319243 | 2147483647 20504 35 | 0.000 % |
9.77/9.87 c | 20652 | 763 73888 319243 | 2147483647 20652 35 | 0.000 % |
9.87/9.96 c | 20813 | 763 73888 319243 | 2147483647 20813 35 | 0.000 % |
9.97/10.06 c | 20990 | 763 73888 319243 | 2147483647 20990 35 | 0.000 % |
10.07/10.15 c | 21186 | 763 73888 319243 | 2147483647 21186 35 | 0.000 % |
10.17/10.29 c | 21398 | 763 73888 319243 | 2147483647 21398 35 | 0.000 % |
10.37/10.43 c | 21632 | 763 73888 319243 | 2147483647 21632 36 | 0.000 % |
10.47/10.53 c | 21888 | 763 73888 319243 | 2147483647 21888 36 | 0.000 % |
10.67/10.73 c | 22170 | 763 73888 319243 | 2147483647 22170 36 | 0.000 % |
10.87/10.94 c | 22481 | 763 73888 319243 | 2147483647 22481 36 | 0.000 % |
11.07/11.16 c | 22820 | 763 73888 319243 | 2147483647 22820 36 | 0.000 % |
11.37/11.41 c | 23192 | 763 73888 319243 | 2147483647 23192 35 | 0.000 % |
11.57/11.67 c | 23603 | 763 73888 319243 | 2147483647 23603 35 | 0.000 % |
11.67/11.73 c | 23705 | 763 73888 319243 | 2147483647 23705 35 | 0.000 % |
11.67/11.79 c | 23815 | 763 73888 319243 | 2147483647 23815 35 | 0.000 % |
11.77/11.85 c | 23936 | 763 73888 319243 | 2147483647 23936 35 | 0.000 % |
11.87/11.93 c | 24069 | 763 73888 319243 | 2147483647 24069 35 | 0.000 % |
11.97/12.03 c | 24216 | 763 73888 319243 | 2147483647 24216 35 | 0.000 % |
12.07/12.15 c | 24377 | 763 73888 319243 | 2147483647 24377 35 | 0.000 % |
12.16/12.22 c | 24553 | 763 73888 319243 | 2147483647 24553 35 | 0.000 % |
12.26/12.35 c | 24747 | 763 73888 319243 | 2147483647 24747 35 | 0.000 % |
12.46/12.50 c | 24959 | 763 73888 319243 | 2147483647 24959 35 | 0.000 % |
12.56/12.64 c | 25192 | 763 73888 319243 | 2147483647 25192 35 | 0.000 % |
12.67/12.79 c | 25448 | 763 73888 319243 | 2147483647 25448 36 | 0.000 % |
12.86/12.95 c | 25731 | 763 73888 319243 | 2147483647 25731 36 | 0.000 % |
12.96/13.09 c | 26040 | 763 73888 319243 | 2147483647 26040 36 | 0.000 % |
13.17/13.28 c | 26379 | 763 73888 319243 | 2147483647 26379 36 | 0.000 % |
13.36/13.44 c | 26751 | 763 73888 319243 | 2147483647 26751 36 | 0.000 % |
13.56/13.62 c | 27160 | 763 73888 319243 | 2147483647 27160 36 | 0.000 % |
13.76/13.80 c | 27609 | 763 73888 319243 | 2147483647 27609 36 | 0.000 % |
13.76/13.83 c | 27709 | 763 73888 319243 | 2147483647 27709 36 | 0.000 % |
13.76/13.88 c | 27819 | 763 73888 319243 | 2147483647 27819 36 | 0.000 % |
13.86/13.96 c | 27940 | 763 73888 319243 | 2147483647 27940 36 | 0.000 % |
13.96/14.06 c | 28073 | 763 73888 319243 | 2147483647 28073 36 | 0.000 % |
14.06/14.17 c | 28220 | 763 73888 319243 | 2147483647 28220 36 | 0.000 % |
14.16/14.28 c | 28381 | 763 73888 319243 | 2147483647 28381 36 | 0.000 % |
14.36/14.41 c | 28559 | 763 73888 319243 | 2147483647 28559 36 | 0.000 % |
14.46/14.54 c | 28752 | 763 73888 319243 | 2147483647 28752 36 | 0.000 % |
14.56/14.68 c | 28964 | 763 73888 319243 | 2147483647 28964 36 | 0.000 % |
14.76/14.81 c | 29197 | 763 73888 319243 | 2147483647 29197 36 | 0.000 % |
14.86/14.92 c | 29453 | 763 73888 319243 | 2147483647 29453 36 | 0.000 % |
14.96/15.05 c | 29734 | 763 73888 319243 | 2147483647 29734 36 | 0.000 % |
15.16/15.24 c | 30044 | 763 73888 319243 | 2147483647 30044 36 | 0.000 % |
15.36/15.47 c | 30384 | 763 73888 319243 | 2147483647 30384 36 | 0.000 % |
15.56/15.69 c | 30756 | 763 73888 319243 | 2147483647 30756 36 | 0.000 % |
15.86/15.91 c | 31166 | 763 73888 319243 | 2147483647 31166 36 | 0.000 % |
16.17/16.22 c | 31620 | 763 73888 319243 | 2147483647 31620 36 | 0.000 % |
16.47/16.54 c | 32113 | 763 73888 319243 | 2147483647 32113 36 | 0.000 % |
16.57/16.61 c | 32215 | 763 73888 319243 | 2147483647 32215 36 | 0.000 % |
16.67/16.70 c | 32326 | 763 73888 319243 | 2147483647 32326 36 | 0.000 % |
16.67/16.76 c | 32448 | 763 73888 319243 | 2147483647 32448 36 | 0.000 % |
16.77/16.88 c | 32581 | 763 73888 319243 | 2147483647 32581 36 | 0.000 % |
16.97/17.01 c | 32727 | 763 73888 319243 | 2147483647 32727 36 | 0.000 % |
17.07/17.15 c | 32887 | 763 73888 319243 | 2147483647 32887 36 | 0.000 % |
17.17/17.28 c | 33066 | 763 73888 319243 | 2147483647 33066 36 | 0.000 % |
17.37/17.47 c | 33259 | 763 73888 319243 | 2147483647 33259 36 | 0.000 % |
17.57/17.64 c | 33472 | 763 73888 319243 | 2147483647 33472 36 | 0.000 % |
17.67/17.77 c | 33705 | 763 73888 319243 | 2147483647 33705 36 | 0.000 % |
17.87/17.93 c | 33963 | 763 73888 319243 | 2147483647 33963 36 | 0.000 % |
18.07/18.13 c | 34244 | 763 73888 319243 | 2147483647 34244 36 | 0.000 % |
18.27/18.34 c | 34554 | 763 73888 319243 | 2147483647 34554 36 | 0.000 % |
18.57/18.67 c | 34894 | 763 73888 319243 | 2147483647 34894 36 | 0.000 % |
18.86/18.99 c | 35267 | 763 73888 319243 | 2147483647 35267 37 | 0.000 % |
19.26/19.32 c | 35677 | 763 73888 319243 | 2147483647 35677 37 | 0.000 % |
19.67/19.74 c | 36128 | 763 73888 319243 | 2147483647 36128 37 | 0.000 % |
20.06/20.19 c | 36623 | 763 73888 319243 | 2147483647 36623 37 | 0.000 % |
20.66/20.73 c | 37166 | 763 73888 319243 | 2147483647 37166 37 | 0.000 % |
20.77/20.82 c | 37267 | 763 73888 319243 | 2147483647 37267 37 | 0.000 % |
20.87/20.91 c | 37378 | 763 73888 319243 | 2147483647 37378 36 | 0.000 % |
20.96/21.00 c | 37499 | 763 73888 319243 | 2147483647 37499 36 | 0.000 % |
21.06/21.15 c | 37632 | 763 73888 319243 | 2147483647 37632 36 | 0.000 % |
21.16/21.27 c | 37778 | 763 73888 319243 | 2147483647 37778 36 | 0.000 % |
21.26/21.37 c | 37938 | 763 73888 319243 | 2147483647 37938 36 | 0.000 % |
21.46/21.54 c | 38114 | 763 73888 319243 | 2147483647 38114 36 | 0.000 % |
21.56/21.68 c | 38309 | 763 73888 319243 | 2147483647 38309 36 | 0.000 % |
21.76/21.86 c | 38521 | 763 73888 319243 | 2147483647 38521 36 | 0.000 % |
21.97/22.09 c | 38756 | 763 73888 319243 | 2147483647 38756 37 | 0.000 % |
22.26/22.34 c | 39012 | 763 73888 319243 | 2147483647 39012 37 | 0.000 % |
22.56/22.62 c | 39293 | 763 73888 319243 | 2147483647 39293 37 | 0.000 % |
22.76/22.85 c | 39602 | 763 73888 319243 | 2147483647 39602 37 | 0.000 % |
23.16/23.20 c | 39945 | 763 73888 319243 | 2147483647 39945 37 | 0.000 % |
23.46/23.57 c | 40321 | 763 73888 319243 | 2147483647 40321 37 | 0.000 % |
23.86/23.90 c | 40731 | 763 73888 319243 | 2147483647 40731 37 | 0.000 % |
24.16/24.24 c | 41180 | 763 73888 319243 | 2147483647 41180 37 | 0.000 % |
24.56/24.65 c | 41673 | 763 73888 319243 | 2147483647 41673 37 | 0.000 % |
24.96/25.04 c | 42215 | 763 73888 319243 | 2147483647 42215 37 | 0.000 % |
25.36/25.48 c | 42811 | 763 73888 319243 | 2147483647 42811 37 | 0.000 % |
25.46/25.56 c | 42911 | 763 73888 319243 | 2147483647 42911 37 | 0.000 % |
25.56/25.63 c | 43023 | 763 73888 319243 | 2147483647 43023 37 | 0.000 % |
25.66/25.77 c | 43145 | 763 73888 319243 | 2147483647 43145 37 | 0.000 % |
25.76/25.89 c | 43278 | 763 73888 319243 | 2147483647 43278 37 | 0.000 % |
25.86/26.00 c | 43425 | 763 73888 319243 | 2147483647 43425 37 | 0.000 % |
26.06/26.11 c | 43588 | 763 73888 319243 | 2147483647 43588 37 | 0.000 % |
26.26/26.32 c | 43766 | 763 73888 319243 | 2147483647 43766 37 | 0.000 % |
26.46/26.50 c | 43959 | 763 73888 319243 | 2147483647 43959 37 | 0.000 % |
26.56/26.66 c | 44173 | 763 73888 319243 | 2147483647 44173 37 | 0.000 % |
26.76/26.82 c | 44406 | 763 73888 319243 | 2147483647 44406 37 | 0.000 % |
26.96/27.06 c | 44662 | 763 73888 319243 | 2147483647 44662 37 | 0.000 % |
27.15/27.30 c | 44943 | 763 73888 319243 | 2147483647 44943 37 | 0.000 % |
27.46/27.56 c | 45255 | 763 73888 319243 | 2147483647 45255 37 | 0.000 % |
27.75/27.81 c | 45595 | 763 73888 319243 | 2147483647 45595 37 | 0.000 % |
28.15/28.23 c | 45967 | 763 73888 319243 | 2147483647 45967 37 | 0.000 % |
28.57/28.70 c | 46376 | 763 73888 319243 | 2147483647 46376 37 | 0.000 % |
28.96/29.09 c | 46826 | 763 73888 319243 | 2147483647 46826 37 | 0.000 % |
29.57/29.61 c | 47320 | 763 73888 319243 | 2147483647 47320 37 | 0.000 % |
30.06/30.18 c | 47862 | 763 73888 319243 | 2147483647 47862 37 | 0.000 % |
30.76/30.90 c | 48459 | 763 73888 319243 | 2147483647 48459 37 | 0.000 % |
31.46/31.52 c | 49116 | 763 73888 319243 | 2147483647 49116 37 | 0.000 % |
31.56/31.61 c | 49216 | 763 73888 319243 | 2147483647 49216 37 | 0.000 % |
31.66/31.71 c | 49327 | 763 73888 319243 | 2147483647 49327 37 | 0.000 % |
31.76/31.82 c | 49448 | 763 73888 319243 | 2147483647 49448 37 | 0.000 % |
31.86/31.93 c | 49586 | 763 73888 319243 | 2147483647 49586 37 | 0.000 % |
31.96/32.08 c | 49732 | 763 73888 319243 | 2147483647 49732 37 | 0.000 % |
32.16/32.29 c | 49892 | 763 73888 319243 | 2147483647 49892 37 | 0.000 % |
32.46/32.51 c | 50070 | 763 73888 319243 | 2147483647 50070 37 | 0.000 % |
32.66/32.72 c | 50264 | 763 73888 319243 | 2147483647 50264 37 | 0.000 % |
32.86/32.90 c | 50476 | 763 73888 319243 | 2147483647 50476 37 | 0.000 % |
33.16/33.22 c | 50709 | 763 73888 319243 | 2147483647 50709 37 | 0.000 % |
33.46/33.56 c | 50967 | 763 73888 319243 | 2147483647 50967 37 | 0.000 % |
33.75/33.86 c | 51250 | 763 73888 319243 | 2147483647 51250 37 | 0.000 % |
34.06/34.17 c | 51560 | 763 73888 319243 | 2147483647 51560 37 | 0.000 % |
34.55/34.63 c | 51900 | 763 73888 319243 | 2147483647 51900 37 | 0.000 % |
34.95/35.10 c | 52272 | 763 73888 319243 | 2147483647 52272 37 | 0.000 % |
35.45/35.54 c | 52681 | 763 73888 319243 | 2147483647 52681 37 | 0.000 % |
35.95/36.02 c | 53132 | 763 73888 319243 | 2147483647 53132 37 | 0.000 % |
36.45/36.52 c | 53625 | 763 73888 319243 | 2147483647 53625 37 | 0.000 % |
36.95/37.01 c | 54168 | 763 73888 319243 | 2147483647 54168 37 | 0.000 % |
37.55/37.60 c | 54766 | 763 73888 319243 | 2147483647 54766 37 | 0.000 % |
38.36/38.47 c | 55423 | 763 73888 319243 | 2147483647 55423 37 | 0.000 % |
39.46/39.54 c | 56143 | 763 73888 319243 | 2147483647 56143 37 | 0.000 % |
39.56/39.68 c | 56243 | 763 73888 319243 | 2147483647 56243 37 | 0.000 % |
39.75/39.82 c | 56355 | 763 73888 319243 | 2147483647 56355 37 | 0.000 % |
39.85/39.98 c | 56477 | 763 73888 319243 | 2147483647 56477 37 | 0.000 % |
40.05/40.13 c | 56613 | 763 73888 319243 | 2147483647 56613 37 | 0.000 % |
40.15/40.23 c | 56759 | 763 73888 319243 | 2147483647 56759 37 | 0.000 % |
40.35/40.43 c | 56920 | 763 73888 319243 | 2147483647 56920 37 | 0.000 % |
40.56/40.68 c | 57096 | 763 73888 319243 | 2147483647 57096 37 | 0.000 % |
40.85/40.92 c | 57290 | 763 73888 319243 | 2147483647 57290 37 | 0.000 % |
41.05/41.16 c | 57503 | 763 73888 319243 | 2147483647 57503 37 | 0.000 % |
41.35/41.48 c | 57738 | 763 73888 319243 | 2147483647 57738 37 | 0.000 % |
41.76/41.82 c | 57996 | 763 73888 319243 | 2147483647 57996 37 | 0.000 % |
42.15/42.20 c | 58278 | 763 73888 319243 | 2147483647 58278 37 | 0.000 % |
42.45/42.59 c | 58588 | 763 73888 319243 | 2147483647 58588 37 | 0.000 % |
42.95/43.06 c | 58927 | 763 73888 319243 | 2147483647 58927 37 | 0.000 % |
43.45/43.52 c | 59299 | 763 73888 319243 | 2147483647 59299 37 | 0.000 % |
43.96/44.03 c | 59709 | 763 73888 319243 | 2147483647 59709 37 | 0.000 % |
44.55/44.69 c | 60158 | 763 73888 319243 | 2147483647 60158 37 | 0.000 % |
45.06/45.15 c | 60651 | 763 73888 319243 | 2147483647 60651 37 | 0.000 % |
45.85/45.98 c | 61194 | 763 73888 319243 | 2147483647 61194 37 | 0.000 % |
46.75/46.81 c | 61790 | 763 73888 319243 | 2147483647 61790 37 | 0.000 % |
47.35/47.41 c | 62447 | 763 73888 319243 | 2147483647 62447 37 | 0.000 % |
48.25/48.34 c | 63167 | 763 73888 319243 | 2147483647 63167 37 | 0.000 % |
49.55/49.66 c | 63960 | 763 73888 319243 | 2147483647 63960 37 | 0.000 % |
49.85/49.90 c | 64061 | 763 73888 319243 | 2147483647 64061 37 | 0.000 % |
50.05/50.10 c | 64171 | 763 73888 319243 | 2147483647 64171 37 | 0.000 % |
50.15/50.22 c | 64292 | 763 73888 319243 | 2147483647 64292 37 | 0.000 % |
50.25/50.34 c | 64427 | 763 73888 319243 | 2147483647 64427 37 | 0.000 % |
50.35/50.49 c | 64574 | 763 73888 319243 | 2147483647 64574 37 | 0.000 % |
50.75/50.80 c | 64738 | 763 73888 319243 | 2147483647 64738 37 | 0.000 % |
50.95/51.03 c | 64915 | 763 73888 319243 | 2147483647 64915 37 | 0.000 % |
51.15/51.24 c | 65108 | 763 73888 319243 | 2147483647 65108 37 | 0.000 % |
51.45/51.50 c | 65322 | 763 73888 319243 | 2147483647 65322 37 | 0.000 % |
51.75/51.84 c | 65555 | 763 73888 319243 | 2147483647 65555 37 | 0.000 % |
52.15/52.26 c | 65811 | 763 73888 319243 | 2147483647 65811 37 | 0.000 % |
52.65/52.76 c | 66093 | 763 73888 319243 | 2147483647 66093 37 | 0.000 % |
53.25/53.31 c | 66402 | 763 73888 319243 | 2147483647 66402 37 | 0.000 % |
53.75/53.88 c | 66745 | 763 73888 319243 | 2147483647 66745 37 | 0.000 % |
54.54/54.65 c | 67117 | 763 73888 319243 | 2147483647 67117 37 | 0.000 % |
55.35/55.46 c | 67529 | 763 73888 319243 | 2147483647 67529 37 | 0.000 % |
56.15/56.23 c | 67979 | 763 73888 319243 | 2147483647 67979 37 | 0.000 % |
56.84/56.99 c | 68472 | 763 73888 319243 | 2147483647 68472 37 | 0.000 % |
57.84/57.94 c | 69015 | 763 73888 319243 | 2147483647 69015 37 | 0.000 % |
58.94/59.05 c | 69614 | 763 73888 319243 | 2147483647 69614 37 | 0.000 % |
60.34/60.43 c | 70269 | 763 73888 319243 | 2147483647 70269 37 | 0.000 % |
61.75/61.81 c | 70989 | 763 73888 319243 | 2147483647 70989 37 | 0.000 % |
63.25/63.36 c | 71781 | 763 73888 319243 | 2147483647 71781 37 | 0.000 % |
65.05/65.11 c | 72654 | 763 73888 319243 | 2147483647 72654 37 | 0.000 % |
65.25/65.32 c | 72754 | 763 73888 319243 | 2147483647 72754 37 | 0.000 % |
65.35/65.47 c | 72866 | 763 73888 319243 | 2147483647 72866 37 | 0.000 % |
65.55/65.68 c | 72988 | 763 73888 319243 | 2147483647 72988 37 | 0.000 % |
65.85/65.92 c | 73121 | 763 73888 319243 | 2147483647 73121 37 | 0.000 % |
66.15/66.23 c | 73267 | 763 73888 319243 | 2147483647 73267 37 | 0.000 % |
66.44/66.59 c | 73427 | 763 73888 319243 | 2147483647 73427 37 | 0.000 % |
66.84/66.97 c | 73605 | 763 73888 319243 | 2147483647 73605 37 | 0.000 % |
67.14/67.25 c | 73801 | 763 73888 319243 | 2147483647 73801 37 | 0.000 % |
67.54/67.62 c | 74014 | 763 73888 319243 | 2147483647 74014 37 | 0.000 % |
68.05/68.13 c | 74247 | 763 73888 319243 | 2147483647 74247 37 | 0.000 % |
68.54/68.64 c | 74507 | 763 73888 319243 | 2147483647 74507 37 | 0.000 % |
69.24/69.32 c | 74793 | 763 73888 319243 | 2147483647 74793 37 | 0.000 % |
69.94/70.01 c | 75103 | 763 73888 319243 | 2147483647 75103 37 | 0.000 % |
70.74/70.80 c | 75442 | 763 73888 319243 | 2147483647 75442 37 | 0.000 % |
71.64/71.73 c | 75817 | 763 73888 319243 | 2147483647 75817 37 | 0.000 % |
72.44/72.59 c | 76227 | 763 73888 319243 | 2147483647 76227 37 | 0.000 % |
73.44/73.60 c | 76679 | 763 73888 319243 | 2147483647 76679 37 | 0.000 % |
74.64/74.77 c | 77172 | 763 73888 319243 | 2147483647 77172 37 | 0.000 % |
76.03/76.11 c | 77714 | 763 73888 319243 | 2147483647 77714 37 | 0.000 % |
77.33/77.47 c | 78312 | 763 73888 319243 | 2147483647 78312 37 | 0.000 % |
78.74/78.81 c | 78967 | 763 73888 319243 | 2147483647 78967 37 | 0.000 % |
79.44/79.50 c | 79688 | 763 73888 319243 | 2147483647 79688 37 | 0.000 % |
81.24/81.37 c | 80480 | 763 73888 319243 | 2147483647 80480 37 | 0.000 % |
83.03/83.12 c | 81351 | 763 73888 319243 | 2147483647 81351 36 | 0.000 % |
83.83/83.91 c | 82309 | 763 73888 319243 | 2147483647 82309 36 | 0.000 % |
83.93/84.01 c | 82412 | 763 73888 319243 | 2147483647 82412 36 | 0.000 % |
83.93/84.09 c | 82522 | 763 73888 319243 | 2147483647 82522 36 | 0.002 % |
84.43/84.54 c | 82643 | 763 73888 319243 | 2147483647 82643 36 | 0.000 % |
84.64/84.74 c | 82776 | 763 73888 319243 | 2147483647 82776 36 | 0.000 % |
85.03/85.10 c | 82922 | 763 73888 319243 | 2147483647 82922 36 | 0.000 % |
85.64/85.71 c | 83082 | 763 73888 319243 | 2147483647 83082 36 | 0.000 % |
86.13/86.21 c | 83258 | 763 73888 319243 | 2147483647 83258 36 | 0.000 % |
86.23/86.36 c | 83456 | 763 73888 319243 | 2147483647 83456 36 | 0.000 % |
86.43/86.50 c | 83670 | 763 73888 319243 | 2147483647 83670 36 | 0.000 % |
86.53/86.65 c | 83905 | 763 73888 319243 | 2147483647 83905 36 | 0.000 % |
86.73/86.84 c | 84161 | 763 73888 319243 | 2147483647 84161 36 | 0.000 % |
86.93/87.04 c | 84443 | 763 73888 319243 | 2147483647 84443 36 | 0.000 % |
87.13/87.22 c | 84753 | 763 73888 319243 | 2147483647 84753 36 | 0.002 % |
88.23/88.30 c | 85092 | 763 73888 319243 | 2147483647 85092 36 | 0.000 % |
89.23/89.36 c | 85465 | 763 73888 319243 | 2147483647 85465 36 | 0.000 % |
90.33/90.41 c | 85875 | 763 73888 319243 | 2147483647 85875 36 | 0.000 % |
90.53/90.62 c | 86324 | 763 73888 319243 | 2147483647 86324 36 | 0.000 % |
91.63/91.73 c | 86817 | 763 73888 319243 | 2147483647 86817 36 | 0.000 % |
93.03/93.18 c | 87359 | 763 73888 319243 | 2147483647 87359 36 | 0.000 % |
94.53/94.66 c | 87957 | 763 73888 319243 | 2147483647 87957 36 | 0.000 % |
95.72/95.87 c | 88614 | 763 73888 319243 | 2147483647 88614 36 | 0.000 % |
97.22/97.32 c | 89335 | 763 73888 319243 | 2147483647 89335 36 | 0.000 % |
98.23/98.35 c | 90128 | 763 73888 319243 | 2147483647 90128 36 | 0.000 % |
100.32/100.42 c | 90999 | 763 73888 319243 | 2147483647 90999 36 | 0.000 % |
102.02/102.17 c | 91958 | 763 73888 319243 | 2147483647 91958 36 | 0.000 % |
103.92/104.02 c | 93012 | 763 73888 319243 | 2147483647 93012 36 | 0.000 % |
104.32/104.40 c | 93112 | 763 73888 319243 | 2147483647 93112 36 | 0.000 % |
104.52/104.66 c | 93223 | 763 73888 319243 | 2147483647 93223 36 | 0.000 % |
104.82/104.97 c | 93344 | 763 73888 319243 | 2147483647 93344 36 | 0.000 % |
105.12/105.29 c | 93478 | 763 73888 319243 | 2147483647 93478 36 | 0.000 % |
105.22/105.37 c | 93625 | 763 73888 319243 | 2147483647 93625 36 | 0.000 % |
105.62/105.73 c | 93785 | 763 73888 319243 | 2147483647 93785 36 | 0.000 % |
106.12/106.23 c | 93961 | 763 73888 319243 | 2147483647 93961 36 | 0.000 % |
106.52/106.62 c | 94156 | 763 73888 319243 | 2147483647 94156 36 | 0.000 % |
106.82/106.94 c | 94370 | 763 73888 319243 | 2147483647 94370 36 | 0.000 % |
107.13/107.24 c | 94605 | 763 73888 319243 | 2147483647 94605 36 | 0.000 % |
107.83/107.90 c | 94862 | 763 73888 319243 | 2147483647 94862 36 | 0.000 % |
108.53/108.61 c | 95143 | 763 73888 319243 | 2147483647 95143 36 | 0.000 % |
109.23/109.32 c | 95453 | 763 73888 319243 | 2147483647 95453 36 | 0.000 % |
110.12/110.21 c | 95792 | 763 73888 319243 | 2147483647 95792 36 | 0.000 % |
110.93/111.10 c | 96165 | 763 73888 319243 | 2147483647 96165 36 | 0.000 % |
111.52/111.67 c | 96575 | 763 73888 319243 | 2147483647 96575 36 | 0.002 % |
114.22/114.34 c | 97025 | 763 73888 319243 | 2147483647 97025 36 | 0.000 % |
115.72/115.85 c | 97518 | 763 73888 319243 | 2147483647 97518 36 | 0.000 % |
116.92/117.08 c | 98060 | 763 73888 319243 | 2147483647 98060 36 | 0.000 % |
119.02/119.14 c | 98656 | 763 73888 319243 | 2147483647 98656 36 | 0.000 % |
122.32/122.42 c | 99311 | 763 73888 319243 | 2147483647 99311 36 | 0.000 % |
125.02/125.11 c | 100031 | 763 73888 319243 | 100001 100031 36 | 0.000 % |
128.41/128.56 c | 100823 | 763 73888 319243 | 100001 88732 37 | 0.000 % |
131.82/131.94 c | 101694 | 763 73888 319243 | 100001 89603 37 | 0.000 % |
134.91/135.06 c | 102654 | 763 73888 319243 | 100001 90563 37 | 0.000 % |
138.61/138.73 c | 103708 | 763 73888 319243 | 100001 91617 36 | 0.000 % |
142.41/142.58 c | 104867 | 763 73888 319243 | 100001 92776 36 | 0.000 % |
142.91/143.01 c | 104967 | 763 73888 319243 | 100001 92876 36 | 0.002 % |
143.31/143.45 c | 105077 | 763 73888 319243 | 100001 92986 36 | 0.000 % |
143.81/143.99 c | 105201 | 763 73888 319243 | 100001 93110 36 | 0.000 % |
144.21/144.36 c | 105335 | 763 73888 319243 | 100001 93244 36 | 0.000 % |
144.51/144.67 c | 105483 | 763 73888 319243 | 100001 93392 36 | 0.000 % |
144.71/144.82 c | 105645 | 763 73888 319243 | 100001 93554 36 | 0.000 % |
145.01/145.12 c | 105821 | 763 73888 319243 | 100001 93730 36 | 0.000 % |
145.41/145.50 c | 106015 | 763 73888 319243 | 100001 93924 36 | 0.000 % |
146.41/146.56 c | 106229 | 763 73888 319243 | 100001 94138 36 | 0.000 % |
147.81/147.95 c | 106462 | 763 73888 319243 | 100001 94371 36 | 0.000 % |
148.81/148.94 c | 106718 | 763 73888 319243 | 100001 94627 36 | 0.000 % |
149.81/149.97 c | 107000 | 763 73888 319243 | 100001 94909 36 | 0.000 % |
151.51/151.61 c | 107311 | 763 73888 319243 | 100001 95220 36 | 0.000 % |
152.90/153.04 c | 107652 | 763 73888 319243 | 100001 95561 36 | 0.000 % |
153.81/153.97 c | 108025 | 763 73888 319243 | 100001 95934 36 | 0.000 % |
155.70/155.86 c | 108436 | 763 73888 319243 | 100001 96345 36 | 0.000 % |
157.11/157.27 c | 108885 | 763 73888 319243 | 100001 96794 36 | 0.000 % |
159.10/159.20 c | 109379 | 763 73888 319243 | 100001 97288 36 | 0.000 % |
160.90/161.03 c | 109922 | 763 73888 319243 | 100001 97831 36 | 0.000 % |
163.00/163.12 c | 110519 | 763 73888 319243 | 97911 85450 36 | 0.000 % |
165.40/165.51 c | 111174 | 763 73888 319243 | 97911 86105 36 | 0.000 % |
167.30/167.47 c | 111894 | 763 73888 319243 | 97911 86825 36 | 0.000 % |
168.60/168.74 c | 112686 | 763 73888 319243 | 97911 87617 36 | 0.000 % |
170.20/170.36 c | 113560 | 763 73888 319243 | 97911 88491 36 | 0.000 % |
173.60/173.78 c | 114518 | 763 73888 319243 | 97911 89449 36 | 0.000 % |
176.10/176.25 c | 115575 | 763 73888 319243 | 97911 90506 36 | 0.000 % |
180.80/180.94 c | 116735 | 763 73888 319243 | 97911 91666 36 | 0.000 % |
184.10/184.25 c | 118011 | 763 73888 319243 | 97911 92942 36 | 0.000 % |
184.50/184.68 c | 118111 | 763 73888 319243 | 97911 93042 36 | 0.000 % |
184.80/184.97 c | 118221 | 763 73888 319243 | 97911 93152 36 | 0.000 % |
185.00/185.19 c | 118342 | 763 73888 319243 | 97911 93273 36 | 0.000 % |
185.60/185.79 c | 118477 | 763 73888 319243 | 97911 93408 36 | 0.000 % |
186.10/186.28 c | 118623 | 763 73888 319243 | 97911 93554 36 | 0.000 % |
186.80/187.00 c | 118784 | 763 73888 319243 | 97911 93715 36 | 0.000 % |
187.50/187.65 c | 118960 | 763 73888 319243 | 97911 93891 36 | 0.000 % |
188.50/188.62 c | 119154 | 763 73888 319243 | 97911 94085 36 | 0.000 % |
189.00/189.12 c | 119371 | 763 73888 319243 | 97911 94302 36 | 0.000 % |
189.39/189.59 c | 119605 | 763 73888 319243 | 97911 94536 36 | 0.000 % |
190.20/190.38 c | 119861 | 763 73888 319243 | 97911 94792 36 | 0.000 % |
191.69/191.89 c | 120143 | 763 73888 319243 | 94934 84589 36 | 0.000 % |
192.69/192.82 c | 120454 | 763 73888 319243 | 94934 84900 36 | 0.000 % |
193.69/193.80 c | 120796 | 763 73888 319243 | 94934 85242 36 | 0.000 % |
194.50/194.70 c | 121169 | 763 73888 319243 | 94934 85615 36 | 0.000 % |
195.39/195.51 c | 121579 | 763 73888 319243 | 94934 86025 36 | 0.000 % |
197.19/197.39 c | 122029 | 763 73888 319243 | 94934 86475 36 | 0.000 % |
198.79/198.95 c | 122523 | 763 73888 319243 | 94934 86969 36 | 0.000 % |
200.69/200.87 c | 123065 | 763 73888 319243 | 94934 87511 36 | 0.000 % |
202.09/202.28 c | 123663 | 763 73888 319243 | 94934 88109 36 | 0.000 % |
203.89/204.09 c | 124320 | 763 73888 319243 | 94934 88766 36 | 0.000 % |
206.29/206.48 c | 125042 | 763 73888 319243 | 94934 89488 36 | 0.000 % |
209.19/209.30 c | 125834 | 763 73888 319243 | 94934 90280 36 | 0.000 % |
212.09/212.26 c | 126705 | 763 73888 319243 | 94934 91151 36 | 0.000 % |
215.29/215.44 c | 127664 | 763 73888 319243 | 94934 92110 36 | 0.000 % |
218.69/218.80 c | 128719 | 763 73888 319243 | 94934 93165 36 | 0.000 % |
221.68/221.83 c | 129877 | 763 73888 319243 | 94934 94323 36 | 0.000 % |
224.78/224.90 c | 131150 | 763 73888 319243 | 2147483647 95596 36 | 0.000 % |
228.78/228.90 c | 132552 | 763 73888 319243 | 2147483647 96998 36 | 0.000 % |
229.08/229.24 c | 132654 | 763 73888 319243 | 2147483647 97100 36 | 0.000 % |
229.28/229.44 c | 132764 | 763 73888 319243 | 2147483647 97210 36 | 0.000 % |
229.69/229.81 c | 132886 | 763 73888 319243 | 2147483647 97332 36 | 0.000 % |
230.08/230.29 c | 133019 | 763 73888 319243 | 2147483647 97465 36 | 0.000 % |
230.68/230.84 c | 133166 | 763 73888 319243 | 2147483647 97612 36 | 0.000 % |
231.08/231.21 c | 133327 | 763 73888 319243 | 2147483647 97773 36 | 0.000 % |
231.58/231.74 c | 133503 | 763 73888 319243 | 2147483647 97949 36 | 0.000 % |
232.28/232.47 c | 133698 | 763 73888 319243 | 2147483647 98144 36 | 0.000 % |
232.98/233.16 c | 133910 | 763 73888 319243 | 2147483647 98356 36 | 0.000 % |
233.58/233.76 c | 134145 | 763 73888 319243 | 2147483647 98591 36 | 0.000 % |
234.38/234.52 c | 134401 | 763 73888 319243 | 2147483647 98847 36 | 0.000 % |
235.28/235.47 c | 134684 | 763 73888 319243 | 2147483647 99130 36 | 0.000 % |
236.38/236.52 c | 134993 | 763 73888 319243 | 2147483647 99439 36 | 0.000 % |
237.48/237.69 c | 135336 | 763 73888 319243 | 2147483647 99782 36 | 0.000 % |
238.88/239.00 c | 135712 | 763 73888 319243 | 2147483647 100158 36 | 0.000 % |
240.38/240.52 c | 136122 | 763 73888 319243 | 2147483647 100568 36 | 0.000 % |
241.98/242.18 c | 136572 | 763 73888 319243 | 2147483647 101018 36 | 0.000 % |
243.79/243.96 c | 137065 | 763 73888 319243 | 2147483647 101511 36 | 0.000 % |
246.29/246.43 c | 137610 | 763 73888 319243 | 2147483647 102056 36 | 0.000 % |
248.28/248.43 c | 138206 | 763 73888 319243 | 2147483647 102652 36 | 0.000 % |
250.59/250.70 c | 138861 | 763 73888 319243 | 2147483647 103307 36 | 0.000 % |
253.08/253.30 c | 139586 | 763 73888 319243 | 2147483647 104032 36 | 0.000 % |
255.48/255.62 c | 140378 | 763 73888 319243 | 2147483647 104824 36 | 0.000 % |
257.18/257.34 c | 141250 | 763 73888 319243 | 2147483647 105696 36 | 0.000 % |
259.28/259.46 c | 142209 | 763 73888 319243 | 2147483647 106655 36 | 0.000 % |
261.58/261.77 c | 143262 | 763 73888 319243 | 2147483647 107708 36 | 0.000 % |
266.87/267.08 c | 144424 | 763 73888 319243 | 2147483647 108870 36 | 0.000 % |
271.77/271.97 c | 145697 | 763 73888 319243 | 2147483647 110143 36 | 0.000 % |
275.77/275.99 c | 147097 | 763 73888 319243 | 2147483647 111543 36 | 0.000 % |
280.47/280.64 c | 148638 | 763 73888 319243 | 2147483647 113084 36 | 0.000 % |
280.87/281.04 c | 148738 | 763 73888 319243 | 2147483647 113184 36 | 0.000 % |
281.37/281.55 c | 148848 | 763 73888 319243 | 2147483647 113294 36 | 0.000 % |
281.87/282.06 c | 148971 | 763 73888 319243 | 2147483647 113417 36 | 0.000 % |
282.27/282.46 c | 149106 | 763 73888 319243 | 2147483647 113552 36 | 0.000 % |
282.67/282.87 c | 149252 | 763 73888 319243 | 2147483647 113698 36 | 0.000 % |
283.37/283.54 c | 149412 | 763 73888 319243 | 2147483647 113858 36 | 0.000 % |
284.17/284.36 c | 149590 | 763 73888 319243 | 2147483647 114036 36 | 0.000 % |
284.77/284.94 c | 149784 | 763 73888 319243 | 2147483647 114230 36 | 0.000 % |
285.37/285.51 c | 149997 | 763 73888 319243 | 2147483647 114443 36 | 0.000 % |
285.97/286.20 c | 150230 | 763 73888 319243 | 2147483647 114676 36 | 0.000 % |
286.67/286.83 c | 150486 | 763 73888 319243 | 2147483647 114932 36 | 0.000 % |
287.57/287.73 c | 150767 | 763 73888 319243 | 2147483647 115213 36 | 0.000 % |
288.56/288.75 c | 151076 | 763 73888 319243 | 2147483647 115522 36 | 0.000 % |
289.86/290.10 c | 151416 | 763 73888 319243 | 2147483647 115862 36 | 0.000 % |
291.37/291.56 c | 151788 | 763 73888 319243 | 2147483647 116234 36 | 0.000 % |
292.76/292.96 c | 152197 | 763 73888 319243 | 2147483647 116643 36 | 0.000 % |
294.26/294.46 c | 152648 | 763 73888 319243 | 2147483647 117094 36 | 0.000 % |
295.77/295.93 c | 153142 | 763 73888 319243 | 2147483647 117588 36 | 0.000 % |
297.26/297.49 c | 153684 | 763 73888 319243 | 2147483647 118130 36 | 0.000 % |
299.46/299.62 c | 154280 | 763 73888 319243 | 2147483647 118726 36 | 0.000 % |
301.46/301.61 c | 154937 | 763 73888 319243 | 2147483647 119383 36 | 0.000 % |
303.16/303.33 c | 155659 | 763 73888 319243 | 2147483647 120105 36 | 0.000 % |
304.76/304.99 c | 156451 | 763 73888 319243 | 2147483647 120897 36 | 0.000 % |
306.66/306.88 c | 157322 | 763 73888 319243 | 2147483647 121768 36 | 0.000 % |
308.55/308.78 c | 158280 | 763 73888 319243 | 2147483647 122726 35 | 0.000 % |
310.35/310.59 c | 159333 | 763 73888 319243 | 2147483647 123779 35 | 0.000 % |
314.55/314.77 c | 160496 | 763 73888 319243 | 2147483647 124942 35 | 0.000 % |
318.26/318.49 c | 161770 | 763 73888 319243 | 2147483647 126216 35 | 0.000 % |
320.86/321.08 c | 163171 | 763 73888 319243 | 2147483647 127617 35 | 0.000 % |
325.25/325.43 c | 164714 | 763 73888 319243 | 2147483647 129160 35 | 0.000 % |
330.05/330.20 c | 166409 | 763 73888 319243 | 2147483647 130855 35 | 0.000 % |
330.15/330.38 c | 166509 | 763 73888 319243 | 2147483647 130955 35 | 0.002 % |
330.85/331.01 c | 166619 | 763 73888 319243 | 2147483647 131065 35 | 0.000 % |
331.25/331.41 c | 166741 | 763 73888 319243 | 2147483647 131187 35 | 0.000 % |
331.75/331.91 c | 166876 | 763 73888 319243 | 2147483647 131322 35 | 0.000 % |
332.35/332.54 c | 167023 | 763 73888 319243 | 2147483647 131469 35 | 0.000 % |
332.95/333.12 c | 167183 | 763 73888 319243 | 2147483647 131629 35 | 0.000 % |
333.65/333.84 c | 167359 | 763 73888 319243 | 2147483647 131805 35 | 0.000 % |
334.45/334.66 c | 167553 | 763 73888 319243 | 2147483647 131999 35 | 0.000 % |
334.85/335.10 c | 167768 | 763 73888 319243 | 2147483647 132214 35 | 0.000 % |
335.35/335.56 c | 168001 | 763 73888 319243 | 2147483647 132447 35 | 0.000 % |
336.85/337.00 c | 168259 | 763 73888 319243 | 2147483647 132705 35 | 0.000 % |
338.15/338.38 c | 168541 | 763 73888 319243 | 2147483647 132987 35 | 0.000 % |
339.25/339.43 c | 168851 | 763 73888 319243 | 2147483647 133297 35 | 0.000 % |
339.85/340.06 c | 169191 | 763 73888 319243 | 2147483647 133637 35 | 0.000 % |
341.44/341.68 c | 169565 | 763 73888 319243 | 2147483647 134011 35 | 0.000 % |
343.24/343.47 c | 169975 | 763 73888 319243 | 2147483647 134421 35 | 0.000 % |
344.84/345.00 c | 170425 | 763 73888 319243 | 2147483647 134871 35 | 0.000 % |
347.24/347.48 c | 170919 | 763 73888 319243 | 2147483647 135365 35 | 0.000 % |
349.94/350.11 c | 171461 | 763 73888 319243 | 2147483647 135907 35 | 0.000 % |
352.34/352.55 c | 172058 | 763 73888 319243 | 2147483647 136504 35 | 0.000 % |
355.35/355.54 c | 172714 | 763 73888 319243 | 2147483647 137160 35 | 0.000 % |
358.04/358.26 c | 173434 | 763 73888 319243 | 2147483647 137880 35 | 0.000 % |
360.74/360.93 c | 174226 | 763 73888 319243 | 2147483647 138672 36 | 0.000 % |
363.44/363.60 c | 175098 | 763 73888 319243 | 2147483647 139544 36 | 0.000 % |
368.54/368.70 c | 176057 | 763 73888 319243 | 2147483647 140503 36 | 0.000 % |
372.74/372.95 c | 177111 | 763 73888 319243 | 2147483647 141557 36 | 0.000 % |
377.53/377.78 c | 178269 | 763 73888 319243 | 2147483647 142715 36 | 0.000 % |
383.03/383.20 c | 179545 | 763 73888 319243 | 2147483647 143991 36 | 0.000 % |
388.83/389.08 c | 180946 | 763 73888 319243 | 144446 109039 35 | 0.000 % |
392.53/392.78 c | 182486 | 763 73888 319243 | 144446 110579 35 | 0.000 % |
396.53/396.75 c | 184182 | 763 73888 319243 | 144446 112275 35 | 0.000 % |
401.43/401.65 c | 186047 | 763 73888 319243 | 144446 114140 35 | 0.000 % |
401.83/402.09 c | 186147 | 763 73888 319243 | 144446 114240 35 | 0.000 % |
402.33/402.57 c | 186258 | 763 73888 319243 | 144446 114351 35 | 0.000 % |
402.72/402.99 c | 186382 | 763 73888 319243 | 144446 114475 35 | 0.000 % |
403.43/403.61 c | 186515 | 763 73888 319243 | 144446 114608 35 | 0.000 % |
404.02/404.25 c | 186661 | 763 73888 319243 | 144446 114754 36 | 0.000 % |
404.53/404.74 c | 186822 | 763 73888 319243 | 144446 114915 36 | 0.000 % |
404.92/405.18 c | 186998 | 763 73888 319243 | 144446 115091 36 | 0.000 % |
405.63/405.89 c | 187191 | 763 73888 319243 | 144446 115284 36 | 0.000 % |
406.52/406.73 c | 187403 | 763 73888 319243 | 144446 115496 36 | 0.000 % |
407.02/407.25 c | 187637 | 763 73888 319243 | 144446 115730 36 | 0.000 % |
407.83/408.06 c | 187894 | 763 73888 319243 | 144446 115987 36 | 0.000 % |
408.52/408.78 c | 188177 | 763 73888 319243 | 144446 116270 36 | 0.000 % |
409.42/409.62 c | 188486 | 763 73888 319243 | 144446 116579 36 | 0.000 % |
410.62/410.88 c | 188825 | 763 73888 319243 | 144446 116918 36 | 0.000 % |
411.92/412.10 c | 189197 | 763 73888 319243 | 144446 117290 36 | 0.000 % |
412.72/412.96 c | 189607 | 763 73888 319243 | 144446 117700 36 | 0.000 % |
414.32/414.57 c | 190062 | 763 73888 319243 | 118097 118155 36 | 0.000 % |
416.12/416.38 c | 190558 | 763 73888 319243 | 118097 103693 36 | 0.000 % |
417.62/417.89 c | 191101 | 763 73888 319243 | 118097 104236 36 | 0.000 % |
419.32/419.56 c | 191697 | 763 73888 319243 | 118097 104832 36 | 0.000 % |
420.72/420.93 c | 192352 | 763 73888 319243 | 118097 105487 36 | 0.000 % |
422.62/422.80 c | 193072 | 763 73888 319243 | 118097 106207 36 | 0.000 % |
424.92/425.20 c | 193865 | 763 73888 319243 | 118097 107000 36 | 0.000 % |
427.82/428.07 c | 194737 | 763 73888 319243 | 118097 107872 36 | 0.000 % |
431.11/431.31 c | 195697 | 763 73888 319243 | 118097 108832 36 | 0.000 % |
434.41/434.68 c | 196752 | 763 73888 319243 | 118097 109887 36 | 0.000 % |
437.91/438.16 c | 197912 | 763 73888 319243 | 118097 111047 36 | 0.000 % |
440.51/440.76 c | 199185 | 763 73888 319243 | 118097 112320 36 | 0.000 % |
443.41/443.69 c | 200586 | 763 73888 319243 | 2147483647 113721 36 | 0.000 % |
447.91/448.19 c | 202127 | 763 73888 319243 | 2147483647 115262 36 | 0.000 % |
453.71/453.91 c | 203824 | 763 73888 319243 | 2147483647 116959 36 | 0.000 % |
459.40/459.70 c | 205687 | 763 73888 319243 | 2147483647 118822 36 | 0.001 % |
465.30/465.53 c | 207736 | 763 73888 319243 | 2147483647 120871 36 | 0.000 % |
465.50/465.79 c | 207836 | 763 73888 319243 | 2147483647 120971 36 | 0.000 % |
465.90/466.16 c | 207946 | 763 73888 319243 | 2147483647 121081 36 | 0.000 % |
466.40/466.66 c | 208069 | 763 73888 319243 | 2147483647 121204 36 | 0.000 % |
467.00/467.28 c | 208204 | 763 73888 319243 | 2147483647 121339 36 | 0.000 % |
467.40/467.69 c | 208350 | 763 73888 319243 | 2147483647 121485 36 | 0.000 % |
467.90/468.14 c | 208512 | 763 73888 319243 | 2147483647 121647 36 | 0.000 % |
468.50/468.74 c | 208689 | 763 73888 319243 | 2147483647 121824 36 | 0.000 % |
469.00/469.22 c | 208882 | 763 73888 319243 | 2147483647 122017 36 | 0.000 % |
469.50/469.79 c | 209096 | 763 73888 319243 | 2147483647 122231 36 | 0.000 % |
470.20/470.44 c | 209331 | 763 73888 319243 | 2147483647 122466 36 | 0.000 % |
471.00/471.24 c | 209588 | 763 73888 319243 | 2147483647 122723 36 | 0.000 % |
471.70/472.00 c | 209869 | 763 73888 319243 | 2147483647 123004 36 | 0.000 % |
472.70/472.91 c | 210179 | 763 73888 319243 | 2147483647 123314 36 | 0.000 % |
473.60/473.85 c | 210520 | 763 73888 319243 | 2147483647 123655 36 | 0.000 % |
474.70/474.97 c | 210892 | 763 73888 319243 | 2147483647 124027 36 | 0.000 % |
475.90/476.12 c | 211301 | 763 73888 319243 | 2147483647 124436 36 | 0.000 % |
477.10/477.33 c | 211750 | 763 73888 319243 | 2147483647 124885 36 | 0.000 % |
478.70/478.97 c | 212243 | 763 73888 319243 | 2147483647 125378 36 | 0.000 % |
480.50/480.79 c | 212787 | 763 73888 319243 | 2147483647 125922 36 | 0.000 % |
482.29/482.55 c | 213383 | 763 73888 319243 | 2147483647 126518 36 | 0.000 % |
484.49/484.70 c | 214040 | 763 73888 319243 | 2147483647 127175 36 | 0.000 % |
487.00/487.27 c | 214763 | 763 73888 319243 | 2147483647 127898 36 | 0.000 % |
489.89/490.11 c | 215559 | 763 73888 319243 | 2147483647 128694 36 | 0.000 % |
493.29/493.59 c | 216430 | 763 73888 319243 | 2147483647 129565 36 | 0.000 % |
496.49/496.78 c | 217388 | 763 73888 319243 | 2147483647 130523 36 | 0.000 % |
499.59/499.85 c | 218442 | 763 73888 319243 | 2147483647 131577 36 | 0.000 % |
502.70/502.96 c | 219603 | 763 73888 319243 | 2147483647 132738 36 | 0.000 % |
506.00/506.27 c | 220878 | 763 73888 319243 | 133135 115949 36 | 0.000 % |
508.39/508.63 c | 222278 | 763 73888 319243 | 133135 117349 36 | 0.000 % |
511.59/511.86 c | 223818 | 763 73888 319243 | 133135 118889 37 | 0.000 % |
515.69/515.93 c | 225513 | 763 73888 319243 | 133135 120584 37 | 0.000 % |
518.59/518.89 c | 227376 | 763 73888 319243 | 133135 122447 37 | 0.000 % |
521.09/521.36 c | 229426 | 763 73888 319243 | 133135 124497 37 | 0.000 % |
526.09/526.37 c | 231679 | 763 73888 319243 | 2147483647 126750 37 | 0.000 % |
526.29/526.55 c | 231779 | 763 73888 319243 | 2147483647 126850 37 | 0.000 % |
526.69/526.93 c | 231889 | 763 73888 319243 | 2147483647 126960 37 | 0.000 % |
526.89/527.17 c | 232012 | 763 73888 319243 | 2147483647 127083 37 | 0.000 % |
527.38/527.69 c | 232146 | 763 73888 319243 | 2147483647 127217 37 | 0.000 % |
527.79/528.04 c | 232298 | 763 73888 319243 | 2147483647 127369 37 | 0.000 % |
528.08/528.31 c | 232464 | 763 73888 319243 | 2147483647 127535 37 | 0.000 % |
528.38/528.68 c | 232640 | 763 73888 319243 | 2147483647 127711 37 | 0.000 % |
528.89/529.14 c | 232837 | 763 73888 319243 | 2147483647 127908 37 | 0.000 % |
529.38/529.68 c | 233049 | 763 73888 319243 | 2147483647 128120 37 | 0.000 % |
529.99/530.29 c | 233282 | 763 73888 319243 | 2147483647 128353 37 | 0.000 % |
530.58/530.90 c | 233538 | 763 73888 319243 | 2147483647 128609 37 | 0.000 % |
531.68/531.90 c | 233819 | 763 73888 319243 | 2147483647 128890 37 | 0.000 % |
532.28/532.53 c | 234130 | 763 73888 319243 | 2147483647 129201 37 | 0.000 % |
533.19/533.46 c | 234469 | 763 73888 319243 | 2147483647 129540 37 | 0.000 % |
534.28/534.55 c | 234843 | 763 73888 319243 | 2147483647 129914 37 | 0.000 % |
535.28/535.58 c | 235256 | 763 73888 319243 | 2147483647 130327 37 | 0.000 % |
536.48/536.72 c | 235706 | 763 73888 319243 | 2147483647 130777 37 | 0.000 % |
537.48/537.78 c | 236200 | 763 73888 319243 | 2147483647 131271 37 | 0.000 % |
538.98/539.24 c | 236742 | 763 73888 319243 | 2147483647 131813 37 | 0.000 % |
540.48/540.78 c | 237339 | 763 73888 319243 | 2147483647 132410 37 | 0.000 % |
542.28/542.52 c | 237994 | 763 73888 319243 | 2147483647 133065 37 | 0.000 % |
544.38/544.65 c | 238716 | 763 73888 319243 | 2147483647 133787 37 | 0.000 % |
546.68/546.90 c | 239509 | 763 73888 319243 | 2147483647 134580 37 | 0.000 % |
549.38/549.68 c | 240380 | 763 73888 319243 | 2147483647 135451 37 | 0.000 % |
551.77/552.07 c | 241341 | 763 73888 319243 | 2147483647 136412 37 | 0.000 % |
553.97/554.21 c | 242396 | 763 73888 319243 | 2147483647 137467 37 | 0.000 % |
556.58/556.81 c | 243558 | 763 73888 319243 | 2147483647 138629 37 | 0.000 % |
559.38/559.65 c | 244831 | 763 73888 319243 | 2147483647 139902 37 | 0.000 % |
562.78/563.07 c | 246235 | 763 73888 319243 | 2147483647 141306 37 | 0.000 % |
566.47/566.78 c | 247776 | 763 73888 319243 | 2147483647 142847 37 | 0.000 % |
570.77/571.06 c | 249472 | 763 73888 319243 | 2147483647 144543 37 | 0.000 % |
576.47/576.71 c | 251335 | 763 73888 319243 | 2147483647 146406 37 | 0.000 % |
582.67/582.93 c | 253384 | 763 73888 319243 | 2147483647 148455 37 | 0.000 % |
587.96/588.24 c | 255638 | 763 73888 319243 | 2147483647 150709 37 | 0.000 % |
593.96/594.23 c | 258117 | 763 73888 319243 | 2147483647 153188 37 | 0.000 % |
594.16/594.46 c | 258218 | 763 73888 319243 | 2147483647 153289 37 | 0.000 % |
594.56/594.82 c | 258330 | 763 73888 319243 | 2147483647 153401 37 | 0.000 % |
595.06/595.31 c | 258452 | 763 73888 319243 | 2147483647 153523 37 | 0.000 % |
595.56/595.90 c | 258586 | 763 73888 319243 | 2147483647 153657 37 | 0.000 % |
596.16/596.45 c | 258734 | 763 73888 319243 | 2147483647 153805 37 | 0.000 % |
596.56/596.90 c | 258894 | 763 73888 319243 | 2147483647 153965 37 | 0.000 % |
597.07/597.37 c | 259070 | 763 73888 319243 | 2147483647 154141 37 | 0.000 % |
598.07/598.31 c | 259265 | 763 73888 319243 | 2147483647 154336 37 | 0.000 % |
598.86/599.11 c | 259480 | 763 73888 319243 | 2147483647 154551 37 | 0.000 % |
599.46/599.71 c | 259715 | 763 73888 319243 | 2147483647 154786 37 | 0.000 % |
600.16/600.42 c | 259971 | 763 73888 319243 | 2147483647 155042 37 | 0.000 % |
601.56/601.81 c | 260254 | 763 73888 319243 | 155073 135010 37 | 0.000 % |
602.26/602.53 c | 260566 | 763 73888 319243 | 155073 135322 37 | 0.000 % |
603.46/603.75 c | 260905 | 763 73888 319243 | 155073 135661 37 | 0.000 % |
604.56/604.89 c | 261277 | 763 73888 319243 | 155073 136033 37 | 0.000 % |
605.56/605.83 c | 261686 | 763 73888 319243 | 155073 136442 37 | 0.000 % |
606.96/607.21 c | 262135 | 763 73888 319243 | 155073 136891 37 | 0.000 % |
608.16/608.44 c | 262631 | 763 73888 319243 | 155073 137387 37 | 0.000 % |
609.86/610.15 c | 263173 | 763 73888 319243 | 155073 137929 37 | 0.000 % |
611.66/611.91 c | 263772 | 763 73888 319243 | 155073 138528 37 | 0.000 % |
613.66/613.94 c | 264430 | 763 73888 319243 | 155073 139186 37 | 0.000 % |
616.15/616.43 c | 265152 | 763 73888 319243 | 155073 139908 37 | 0.000 % |
618.45/618.70 c | 265944 | 763 73888 319243 | 155073 140700 37 | 0.000 % |
621.06/621.31 c | 266816 | 763 73888 319243 | 155073 141572 37 | 0.000 % |
623.06/623.39 c | 267774 | 763 73888 319243 | 155073 142530 37 | 0.000 % |
625.76/626.09 c | 268828 | 763 73888 319243 | 155073 143584 37 | 0.000 % |
629.06/629.30 c | 269986 | 763 73888 319243 | 155073 144742 37 | 0.000 % |
632.06/632.34 c | 271259 | 763 73888 319243 | 2147483647 146015 37 | 0.000 % |
634.96/635.21 c | 272660 | 763 73888 319243 | 2147483647 147416 37 | 0.000 % |
637.66/637.94 c | 274200 | 763 73888 319243 | 2147483647 148956 37 | 0.000 % |
642.06/642.34 c | 275896 | 763 73888 319243 | 2147483647 150652 37 | 0.000 % |
645.95/646.20 c | 277761 | 763 73888 319243 | 2147483647 152517 37 | 0.000 % |
650.55/650.85 c | 279810 | 763 73888 319243 | 2147483647 154566 37 | 0.000 % |
654.95/655.21 c | 282066 | 763 73888 319243 | 2147483647 156822 37 | 0.000 % |
663.35/663.66 c | 284544 | 763 73888 319243 | 2147483647 159300 37 | 0.000 % |
672.95/673.21 c | 287271 | 763 73888 319243 | 2147483647 162027 37 | 0.000 % |
673.14/673.42 c | 287372 | 763 73888 319243 | 2147483647 162128 37 | 0.000 % |
673.34/673.67 c | 287483 | 763 73888 319243 | 2147483647 162239 37 | 0.000 % |
673.74/674.06 c | 287604 | 763 73888 319243 | 2147483647 162360 37 | 0.000 % |
674.04/674.36 c | 287737 | 763 73888 319243 | 2147483647 162493 37 | 0.000 % |
674.44/674.75 c | 287883 | 763 73888 319243 | 2147483647 162639 37 | 0.000 % |
674.84/675.16 c | 288043 | 763 73888 319243 | 2147483647 162799 37 | 0.000 % |
675.84/676.11 c | 288219 | 763 73888 319243 | 2147483647 162975 37 | 0.000 % |
676.34/676.60 c | 288413 | 763 73888 319243 | 2147483647 163169 37 | 0.000 % |
677.24/677.53 c | 288625 | 763 73888 319243 | 2147483647 163381 37 | 0.000 % |
678.04/678.34 c | 288858 | 763 73888 319243 | 2147483647 163614 37 | 0.000 % |
678.74/679.08 c | 289114 | 763 73888 319243 | 2147483647 163870 37 | 0.000 % |
679.44/679.74 c | 289396 | 763 73888 319243 | 2147483647 164152 37 | 0.000 % |
680.44/680.71 c | 289705 | 763 73888 319243 | 2147483647 164461 37 | 0.000 % |
681.64/681.99 c | 290044 | 763 73888 319243 | 2147483647 164800 37 | 0.000 % |
683.54/683.83 c | 290417 | 763 73888 319243 | 2147483647 165173 37 | 0.000 % |
686.14/686.42 c | 290826 | 763 73888 319243 | 2147483647 165582 37 | 0.000 % |
688.44/688.73 c | 291275 | 763 73888 319243 | 2147483647 166031 37 | 0.000 % |
690.93/691.22 c | 291768 | 763 73888 319243 | 2147483647 166524 37 | 0.000 % |
693.53/693.81 c | 292310 | 763 73888 319243 | 2147483647 167066 37 | 0.000 % |
696.23/696.53 c | 292906 | 763 73888 319243 | 2147483647 167662 37 | 0.000 % |
698.73/699.06 c | 293561 | 763 73888 319243 | 2147483647 168317 37 | 0.000 % |
700.93/701.22 c | 294284 | 763 73888 319243 | 2147483647 169040 37 | 0.000 % |
702.93/703.27 c | 295076 | 763 73888 319243 | 2147483647 169832 37 | 0.000 % |
707.13/707.47 c | 295948 | 763 73888 319243 | 2147483647 170704 37 | 0.000 % |
712.62/712.95 c | 296906 | 763 73888 319243 | 2147483647 171662 37 | 0.000 % |
717.82/718.15 c | 297959 | 763 73888 319243 | 2147483647 172715 37 | 0.000 % |
722.32/722.65 c | 299117 | 763 73888 319243 | 2147483647 173873 37 | 0.000 % |
727.32/727.67 c | 300390 | 763 73888 319243 | 174758 137226 38 | 0.000 % |
732.52/732.88 c | 301792 | 763 73888 319243 | 174758 138628 38 | 0.000 % |
738.51/738.83 c | 303334 | 763 73888 319243 | 174758 140170 38 | 0.000 % |
745.61/745.91 c | 305029 | 763 73888 319243 | 174758 141865 38 | 0.000 % |
754.11/754.41 c | 306893 | 763 73888 319243 | 174758 143729 38 | 0.000 % |
762.11/762.47 c | 308943 | 763 73888 319243 | 174758 145779 38 | 0.000 % |
769.62/769.98 c | 311197 | 763 73888 319243 | 146837 120460 37 | 0.000 % |
773.11/773.41 c | 313675 | 763 73888 319243 | 146837 122938 37 | 0.000 % |
779.81/780.18 c | 316401 | 763 73888 319243 | 146837 125664 37 | 0.000 % |
786.01/786.35 c | 319398 | 763 73888 319243 | 146837 128661 37 | 0.000 % |
786.41/786.75 c | 319499 | 763 73888 319243 | 146837 128762 37 | 0.000 % |
786.91/787.21 c | 319609 | 763 73888 319243 | 146837 128872 37 | 0.000 % |
787.31/787.60 c | 319731 | 763 73888 319243 | 146837 128994 37 | 0.000 % |
787.71/788.02 c | 319864 | 763 73888 319243 | 146837 129127 37 | 0.000 % |
788.01/788.37 c | 320010 | 763 73888 319243 | 129263 129273 37 | 0.000 % |
789.11/789.47 c | 320170 | 763 73888 319243 | 129263 107929 37 | 0.000 % |
789.71/790.04 c | 320350 | 763 73888 319243 | 129263 108109 37 | 0.000 % |
790.21/790.55 c | 320545 | 763 73888 319243 | 129263 108304 37 | 0.000 % |
790.71/791.01 c | 320760 | 763 73888 319243 | 129263 108519 37 | 0.000 % |
791.31/791.69 c | 320995 | 763 73888 319243 | 129263 108754 37 | 0.000 % |
791.91/792.27 c | 321252 | 763 73888 319243 | 129263 109011 37 | 0.000 % |
792.41/792.77 c | 321533 | 763 73888 319243 | 129263 109292 37 | 0.000 % |
793.31/793.69 c | 321844 | 763 73888 319243 | 129263 109603 37 | 0.000 % |
794.31/794.66 c | 322183 | 763 73888 319243 | 129263 109942 37 | 0.000 % |
795.21/795.54 c | 322556 | 763 73888 319243 | 129263 110315 37 | 0.000 % |
796.70/797.01 c | 322967 | 763 73888 319243 | 129263 110726 37 | 0.000 % |
798.50/798.86 c | 323416 | 763 73888 319243 | 129263 111175 37 | 0.000 % |
800.41/800.75 c | 323909 | 763 73888 319243 | 129263 111668 37 | 0.000 % |
802.70/803.05 c | 324451 | 763 73888 319243 | 129263 112210 37 | 0.000 % |
804.50/804.82 c | 325047 | 763 73888 319243 | 129263 112806 37 | 0.000 % |
807.30/807.62 c | 325703 | 763 73888 319243 | 129263 113462 37 | 0.000 % |
809.90/810.26 c | 326425 | 763 73888 319243 | 129263 114184 37 | 0.000 % |
812.50/812.82 c | 327218 | 763 73888 319243 | 129263 114977 37 | 0.000 % |
815.10/815.42 c | 328091 | 763 73888 319243 | 129263 115850 37 | 0.000 % |
818.99/819.33 c | 329050 | 763 73888 319243 | 129263 116809 37 | 0.000 % |
823.69/824.06 c | 330103 | 763 73888 319243 | 117759 97781 37 | 0.000 % |
826.29/826.61 c | 331261 | 763 73888 319243 | 117759 98939 37 | 0.000 % |
829.49/829.89 c | 332534 | 763 73888 319243 | 117759 100212 37 | 0.000 % |
833.79/834.12 c | 333935 | 763 73888 319243 | 117759 101613 37 | 0.000 % |
837.19/837.50 c | 335476 | 763 73888 319243 | 117759 103154 37 | 0.000 % |
839.79/840.16 c | 337171 | 763 73888 319243 | 117759 104849 37 | 0.000 % |
841.69/842.08 c | 339035 | 763 73888 319243 | 117759 106713 37 | 0.000 % |
847.79/848.15 c | 341086 | 763 73888 319243 | 2147483647 108764 37 | 0.000 % |
854.48/854.84 c | 343339 | 763 73888 319243 | 2147483647 111017 37 | 0.000 % |
860.58/860.99 c | 345820 | 763 73888 319243 | 2147483647 113498 37 | 0.000 % |
866.48/866.81 c | 348552 | 763 73888 319243 | 2147483647 116230 37 | 0.000 % |
874.68/875.09 c | 351549 | 763 73888 319243 | 117678 103835 37 | 0.000 % |
883.37/883.75 c | 354850 | 763 73888 319243 | 117678 107136 37 | 0.000 % |
883.67/884.02 c | 354952 | 763 73888 319243 | 117678 107238 37 | 0.000 % |
883.87/884.26 c | 355062 | 763 73888 319243 | 117678 107348 37 | 0.000 % |
884.37/884.71 c | 355183 | 763 73888 319243 | 117678 107469 37 | 0.000 % |
884.77/885.13 c | 355317 | 763 73888 319243 | 117678 107603 37 | 0.000 % |
885.18/885.51 c | 355466 | 763 73888 319243 | 117678 107752 37 | 0.000 % |
885.67/886.00 c | 355627 | 763 73888 319243 | 117678 107913 37 | 0.000 % |
886.18/886.50 c | 355803 | 763 73888 319243 | 117678 108089 37 | 0.000 % |
886.47/886.86 c | 355997 | 763 73888 319243 | 117678 108283 37 | 0.000 % |
886.97/887.34 c | 356210 | 763 73888 319243 | 117678 108496 37 | 0.000 % |
887.57/887.95 c | 356445 | 763 73888 319243 | 117678 108731 37 | 0.000 % |
888.38/888.73 c | 356703 | 763 73888 319243 | 117678 108989 37 | 0.000 % |
889.17/889.56 c | 356984 | 763 73888 319243 | 117678 109270 37 | 0.000 % |
890.17/890.52 c | 357293 | 763 73888 319243 | 117678 109579 37 | 0.000 % |
891.07/891.47 c | 357632 | 763 73888 319243 | 117678 109918 37 | 0.000 % |
892.07/892.41 c | 358004 | 763 73888 319243 | 117678 110290 37 | 0.000 % |
893.27/893.69 c | 358413 | 763 73888 319243 | 117678 110699 37 | 0.000 % |
894.87/895.23 c | 358862 | 763 73888 319243 | 117678 111148 37 | 0.000 % |
896.57/896.91 c | 359355 | 763 73888 319243 | 117678 111641 37 | 0.000 % |
898.17/898.57 c | 359898 | 763 73888 319243 | 117678 112184 37 | 0.000 % |
899.87/900.23 c | 360497 | 763 73888 319243 | 2147483647 112783 37 | 0.000 % |
901.87/902.22 c | 361152 | 763 73888 319243 | 2147483647 113438 37 | 0.000 % |
904.07/904.42 c | 361873 | 763 73888 319243 | 2147483647 114159 37 | 0.000 % |
905.77/906.20 c | 362665 | 763 73888 319243 | 2147483647 114951 37 | 0.000 % |
907.57/907.99 c | 363538 | 763 73888 319243 | 2147483647 115824 37 | 0.000 % |
909.96/910.36 c | 364496 | 763 73888 319243 | 2147483647 116782 37 | 0.000 % |
912.46/912.81 c | 365550 | 763 73888 319243 | 2147483647 117836 37 | 0.000 % |
916.66/917.07 c | 366709 | 763 73888 319243 | 2147483647 118995 37 | 0.000 % |
920.46/920.82 c | 367982 | 763 73888 319243 | 2147483647 120268 37 | 0.001 % |
923.97/924.36 c | 369382 | 763 73888 319243 | 2147483647 121668 37 | 0.000 % |
927.27/927.64 c | 370922 | 763 73888 319243 | 2147483647 123208 37 | 0.000 % |
931.67/932.04 c | 372619 | 763 73888 319243 | 2147483647 124905 37 | 0.000 % |
937.47/937.84 c | 374482 | 763 73888 319243 | 2147483647 126768 37 | 0.000 % |
943.26/943.65 c | 376533 | 763 73888 319243 | 2147483647 128819 37 | 0.000 % |
949.76/950.18 c | 378789 | 763 73888 319243 | 2147483647 131075 38 | 0.000 % |
955.86/956.29 c | 381269 | 763 73888 319243 | 2147483647 133555 37 | 0.000 % |
962.26/962.62 c | 383994 | 763 73888 319243 | 2147483647 136280 37 | 0.000 % |
968.85/969.29 c | 386992 | 763 73888 319243 | 2147483647 139278 37 | 0.000 % |
976.85/977.24 c | 390288 | 763 73888 319243 | 2147483647 142574 37 | 0.000 % |
986.55/986.90 c | 393917 | 763 73888 319243 | 2147483647 146203 37 | 0.000 % |
986.75/987.20 c | 394018 | 763 73888 319243 | 2147483647 146304 37 | 0.000 % |
987.35/987.72 c | 394128 | 763 73888 319243 | 2147483647 146414 37 | 0.000 % |
987.65/988.08 c | 394249 | 763 73888 319243 | 2147483647 146535 37 | 0.000 % |
988.25/988.68 c | 394382 | 763 73888 319243 | 2147483647 146668 37 | 0.000 % |
988.95/989.30 c | 394530 | 763 73888 319243 | 2147483647 146816 37 | 0.000 % |
989.65/990.10 c | 394690 | 763 73888 319243 | 2147483647 146976 37 | 0.000 % |
990.15/990.52 c | 394869 | 763 73888 319243 | 2147483647 147155 37 | 0.000 % |
990.65/991.04 c | 395062 | 763 73888 319243 | 2147483647 147348 37 | 0.000 % |
991.75/992.13 c | 395274 | 763 73888 319243 | 2147483647 147560 37 | 0.000 % |
992.45/992.88 c | 395508 | 763 73888 319243 | 2147483647 147794 37 | 0.000 % |
993.75/994.11 c | 395766 | 763 73888 319243 | 2147483647 148052 37 | 0.000 % |
994.95/995.30 c | 396047 | 763 73888 319243 | 2147483647 148333 37 | 0.000 % |
996.55/996.96 c | 396357 | 763 73888 319243 | 2147483647 148643 37 | 0.000 % |
998.35/998.71 c | 396698 | 763 73888 319243 | 2147483647 148984 37 | 0.000 % |
1000.35/1000.75 c | 397073 | 763 73888 319243 | 2147483647 149359 37 | 0.000 % |
1002.14/1002.55 c | 397485 | 763 73888 319243 | 2147483647 149771 37 | 0.000 % |
1004.24/1004.62 c | 397934 | 763 73888 319243 | 2147483647 150220 37 | 0.000 % |
1006.54/1006.93 c | 398430 | 763 73888 319243 | 2147483647 150716 37 | 0.000 % |
1008.14/1008.57 c | 398973 | 763 73888 319243 | 2147483647 151259 37 | 0.000 % |
1010.45/1010.82 c | 399570 | 763 73888 319243 | 2147483647 151856 37 | 0.000 % |
1013.94/1014.35 c | 400225 | 763 73888 319243 | 152287 130533 38 | 0.000 % |
1016.24/1016.69 c | 400947 | 763 73888 319243 | 152287 131255 38 | 0.000 % |
1018.74/1019.12 c | 401739 | 763 73888 319243 | 152287 132047 38 | 0.000 % |
1021.54/1021.99 c | 402611 | 763 73888 319243 | 152287 132919 38 | 0.000 % |
1024.84/1025.23 c | 403569 | 763 73888 319243 | 152287 133877 38 | 0.000 % |
1028.33/1028.77 c | 404623 | 763 73888 319243 | 152287 134931 38 | 0.000 % |
1032.23/1032.62 c | 405781 | 763 73888 319243 | 152287 136089 38 | 0.000 % |
1036.63/1037.00 c | 407054 | 763 73888 319243 | 152287 137362 38 | 0.000 % |
1042.13/1042.56 c | 408454 | 763 73888 319243 | 152287 138762 38 | 0.000 % |
1047.03/1047.47 c | 409995 | 763 73888 319243 | 152287 140303 38 | 0.000 % |
1051.33/1051.79 c | 411689 | 763 73888 319243 | 140311 117105 38 | 0.000 % |
1055.83/1056.25 c | 413552 | 763 73888 319243 | 140311 118968 38 | 0.000 % |
1063.33/1063.71 c | 415601 | 763 73888 319243 | 140311 121017 38 | 0.000 % |
1070.02/1070.46 c | 417855 | 763 73888 319243 | 140311 123271 38 | 0.000 % |
1075.82/1076.28 c | 420333 | 763 73888 319243 | 125416 101650 38 | 0.000 % |
1084.43/1084.85 c | 423060 | 763 73888 319243 | 125416 104377 38 | 0.000 % |
1094.82/1095.22 c | 426059 | 763 73888 319243 | 125416 107376 38 | 0.000 % |
1108.62/1109.07 c | 429356 | 763 73888 319243 | 125416 110673 38 | 0.000 % |
1119.32/1119.78 c | 432983 | 763 73888 319243 | 111317 98770 38 | 0.000 % |
1132.51/1132.91 c | 436971 | 763 73888 319243 | 111317 102758 38 | 0.000 % |
1132.81/1133.24 c | 437072 | 763 73888 319243 | 111317 102859 38 | 0.000 % |
1133.11/1133.54 c | 437185 | 763 73888 319243 | 111317 102972 38 | 0.000 % |
1133.41/1133.88 c | 437311 | 763 73888 319243 | 111317 103098 38 | 0.000 % |
1133.91/1134.35 c | 437444 | 763 73888 319243 | 111317 103231 38 | 0.000 % |
1134.31/1134.74 c | 437593 | 763 73888 319243 | 111317 103380 38 | 0.000 % |
1134.61/1135.02 c | 437754 | 763 73888 319243 | 111317 103541 38 | 0.000 % |
1135.21/1135.62 c | 437931 | 763 73888 319243 | 111317 103718 38 | 0.000 % |
1135.71/1136.20 c | 438125 | 763 73888 319243 | 111317 103912 38 | 0.000 % |
1136.31/1136.74 c | 438337 | 763 73888 319243 | 111317 104124 38 | 0.000 % |
1136.91/1137.30 c | 438571 | 763 73888 319243 | 111317 104358 38 | 0.000 % |
1137.61/1138.01 c | 438827 | 763 73888 319243 | 111317 104614 38 | 0.000 % |
1138.11/1138.59 c | 439109 | 763 73888 319243 | 111317 104896 38 | 0.000 % |
1138.61/1139.02 c | 439419 | 763 73888 319243 | 111317 105206 38 | 0.000 % |
1139.21/1139.64 c | 439761 | 763 73888 319243 | 111317 105548 38 | 0.000 % |
1139.71/1140.18 c | 440136 | 763 73888 319243 | 2147483647 105923 38 | 0.000 % |
1140.41/1140.86 c | 440548 | 763 73888 319243 | 2147483647 106335 38 | 0.000 % |
1142.11/1142.58 c | 440997 | 763 73888 319243 | 2147483647 106784 38 | 0.000 % |
1143.51/1143.91 c | 441490 | 763 73888 319243 | 2147483647 107277 38 | 0.000 % |
1145.01/1145.44 c | 442034 | 763 73888 319243 | 2147483647 107821 38 | 0.000 % |
1146.81/1147.26 c | 442631 | 763 73888 319243 | 2147483647 108418 38 | 0.000 % |
1148.80/1149.22 c | 443286 | 763 73888 319243 | 2147483647 109073 38 | 0.000 % |
1150.60/1151.03 c | 444009 | 763 73888 319243 | 2147483647 109796 38 | 0.000 % |
1152.90/1153.39 c | 444804 | 763 73888 319243 | 2147483647 110591 38 | 0.000 % |
1155.61/1156.08 c | 445675 | 763 73888 319243 | 2147483647 111462 38 | 0.000 % |
1157.60/1158.02 c | 446634 | 763 73888 319243 | 2147483647 112421 38 | 0.000 % |
1160.90/1161.35 c | 447687 | 763 73888 319243 | 2147483647 113474 38 | 0.000 % |
1164.10/1164.51 c | 448846 | 763 73888 319243 | 2147483647 114633 38 | 0.000 % |
1167.40/1167.86 c | 450119 | 763 73888 319243 | 2147483647 115906 38 | 0.000 % |
1171.10/1171.52 c | 451522 | 763 73888 319243 | 2147483647 117309 38 | 0.000 % |
1176.60/1177.08 c | 453062 | 763 73888 319243 | 2147483647 118849 38 | 0.000 % |
1183.39/1183.80 c | 454758 | 763 73888 319243 | 2147483647 120545 38 | 0.000 % |
1188.60/1189.07 c | 456626 | 763 73888 319243 | 2147483647 122413 38 | 0.000 % |
1195.99/1196.45 c | 458675 | 763 73888 319243 | 2147483647 124462 38 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833913-1242826099/watcher-1833913-1242826099 -o /tmp/evaluation-result-1833913-1242826099/solver-1833913-1242826099 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833913-1242826099.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.20 1.09 1.03 3/64 17868
/proc/meminfo: memFree=1954688/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310637462 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 236437864530 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/17868/statm: 1339 235 195 169 0 50 0
[pid=17869] ppid=17868 vsize=5356 CPUtime=0
/proc/17869/stat : 17869 (SatELiteGTI) S 17868 17868 17522 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310637462 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/17869/statm: 1339 238 198 169 0 50 0
[pid=17871] ppid=17869 vsize=0 CPUtime=0
/proc/17871/stat : 17871 (SatELiteGTI) R 17869 17868 17522 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 310637462 0 0 1992294400 0 0 0 18446744073709551615 236437695783 0 0 4096 0 0 0 0 17 0 0 0
/proc/17871/statm: 22 1 0 0 0 9 0
[startup+0.046197 s]
/proc/loadavg: 1.20 1.09 1.03 3/64 17868
/proc/meminfo: memFree=1954688/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310637462 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17868/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.1012 s]
/proc/loadavg: 1.20 1.09 1.03 3/64 17868
/proc/meminfo: memFree=1954688/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310637462 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17868/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301222 s]
/proc/loadavg: 1.20 1.09 1.03 3/64 17868
/proc/meminfo: memFree=1954688/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310637462 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17868/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701268 s]
/proc/loadavg: 1.20 1.09 1.03 3/64 17868
/proc/meminfo: memFree=1954688/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310637462 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17868/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50136 s]
/proc/loadavg: 1.20 1.09 1.03 2/66 17874
/proc/meminfo: memFree=1947568/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=6024 CPUtime=0.67
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 1372 0 0 0 67 0 0 0 22 0 1 0 310637543 6168576 1358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528772 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 1506 1358 77 171 0 1333 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11380
[startup+3.10154 s]
/proc/loadavg: 1.20 1.09 1.03 2/66 17874
/proc/meminfo: memFree=1946928/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=6692 CPUtime=2.28
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 1555 0 0 0 227 1 0 0 25 0 1 0 310637543 6852608 1541 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 1673 1541 77 171 0 1500 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12048
[startup+6.30191 s]
/proc/loadavg: 1.18 1.09 1.03 2/66 17874
/proc/meminfo: memFree=1945264/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=8012 CPUtime=5.47
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 1889 0 0 0 546 1 0 0 25 0 1 0 310637543 8204288 1875 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 2003 1875 77 171 0 1830 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 13368
[startup+12.7026 s]
/proc/loadavg: 1.16 1.08 1.03 2/66 17874
/proc/meminfo: memFree=1942848/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=10272 CPUtime=11.88
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 2447 0 0 0 1186 2 0 0 25 0 1 0 310637543 10518528 2433 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 2568 2433 77 171 0 2395 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 15628
[startup+25.5011 s]
/proc/loadavg: 1.13 1.08 1.02 2/66 17874
/proc/meminfo: memFree=1939200/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=13848 CPUtime=24.67
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 3318 0 0 0 2464 3 0 0 25 0 1 0 310637543 14180352 3304 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 3462 3304 77 171 0 3289 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 19204
[startup+51.102 s]
/proc/loadavg: 1.08 1.07 1.02 2/66 17874
/proc/meminfo: memFree=1934720/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=18388 CPUtime=50.26
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 4432 0 0 0 5021 5 0 0 25 0 1 0 310637543 18829312 4418 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 4597 4418 77 171 0 4424 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 23744
[startup+102.306 s]
/proc/loadavg: 1.03 1.06 1.02 2/66 17874
/proc/meminfo: memFree=1928768/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=24376 CPUtime=101.44
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 5908 0 0 0 10137 7 0 0 25 0 1 0 310637543 24961024 5894 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 6094 5894 77 171 0 5921 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 29732
[startup+162.302 s]
/proc/loadavg: 1.01 1.05 1.01 2/66 17874
/proc/meminfo: memFree=1926592/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=26676 CPUtime=161.41
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 6404 0 0 0 16133 8 0 0 25 0 1 0 310637543 27316224 6390 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 6669 6390 77 171 0 6496 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 32032
[startup+222.302 s]
/proc/loadavg: 1.00 1.03 1.01 2/66 17874
/proc/meminfo: memFree=1926336/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=26960 CPUtime=221.39
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 6468 0 0 0 22131 8 0 0 25 0 1 0 310637543 27607040 6454 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 6740 6454 77 171 0 6567 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 32316
[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 17874
/proc/meminfo: memFree=1923776/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=29296 CPUtime=281.38
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 7084 0 0 0 28129 9 0 0 25 0 1 0 310637543 29999104 7070 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 7324 7070 77 171 0 7151 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 34652
[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 17874
/proc/meminfo: memFree=1920192/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=32732 CPUtime=341.35
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 7932 0 0 0 34125 10 0 0 25 0 1 0 310637543 33517568 7918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 8183 7918 77 171 0 8010 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 38088
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17874
/proc/meminfo: memFree=1917952/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=35196 CPUtime=401.34
################
# More data... #
################
/proc/17874/statm: 9624 9261 77 171 0 9451 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 43852
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17874
/proc/meminfo: memFree=1912064/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=40892 CPUtime=641.27
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 9841 0 0 0 64113 14 0 0 25 0 1 0 310637543 41873408 9827 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 10223 9827 77 171 0 10050 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 46248
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17874
/proc/meminfo: memFree=1909632/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=43400 CPUtime=701.24
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 10421 0 0 0 70110 14 0 0 25 0 1 0 310637543 44441600 10407 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 10850 10407 77 171 0 10677 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 48756
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17874
/proc/meminfo: memFree=1908544/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=44412 CPUtime=761.22
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 10671 0 0 0 76108 14 0 0 25 0 1 0 310637543 45477888 10657 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11103 10657 77 171 0 10930 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 49768
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17874
/proc/meminfo: memFree=1907840/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=45088 CPUtime=821.2
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 10843 0 0 0 82105 15 0 0 25 0 1 0 310637543 46170112 10821 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11272 10821 77 171 0 11099 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 50444
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17874
/proc/meminfo: memFree=1907456/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=45572 CPUtime=881.18
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 10921 0 0 0 88103 15 0 0 25 0 1 0 310637543 46665728 10899 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11393 10899 77 171 0 11220 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 50928
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17874
/proc/meminfo: memFree=1907200/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=45748 CPUtime=941.17
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 10963 0 0 0 94101 16 0 0 25 0 1 0 310637543 46845952 10941 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11437 10941 77 171 0 11264 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 51104
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17876
/proc/meminfo: memFree=1906496/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=46128 CPUtime=1001.15
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 11093 0 0 0 100099 16 0 0 25 0 1 0 310637543 47235072 11071 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11532 11071 77 171 0 11359 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 51484
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17876
/proc/meminfo: memFree=1906368/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=46340 CPUtime=1061.13
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 11128 0 0 0 106097 16 0 0 25 0 1 0 310637543 47452160 11106 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11585 11106 77 171 0 11412 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 51696
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17876
/proc/meminfo: memFree=1906304/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=46340 CPUtime=1121.12
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 11131 0 0 0 112095 17 0 0 25 0 1 0 310637543 47452160 11109 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11585 11109 77 171 0 11412 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 51696
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17876
/proc/meminfo: memFree=1905792/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=46840 CPUtime=1181.1
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 11247 0 0 0 118093 17 0 0 25 0 1 0 310637543 47964160 11225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11710 11225 77 171 0 11537 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 52196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17876
/proc/meminfo: memFree=1905664/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=46840 CPUtime=1199.3
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 11256 0 0 0 119913 17 0 0 25 0 1 0 310637543 47964160 11234 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11710 11234 77 171 0 11537 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 52196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17876
/proc/meminfo: memFree=1905664/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=46840 CPUtime=1199.3
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 11256 0 0 0 119913 17 0 0 25 0 1 0 310637543 47964160 11234 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11710 11234 77 171 0 11537 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 52196
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17868 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=789879
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=17997
# CPU time returned by wait4() is 0.807876
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.09
CPU user time (s): 1199.91
CPU system time (s): 0.18
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 52196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.789879
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2639
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= 11
runsolver used 1.3438 second user time and 3.10653 second system time
The end
Begin job on node62 at 2009-05-20 15:28:19
IDJOB=1833913
IDBENCH=71065
IDSOLVER=671
FILE ID=node62/1833913-1242826099
PBS_JOBID= 9322490
Free space on /tmp= 66260 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_08_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833913-1242826099/watcher-1833913-1242826099 -o /tmp/evaluation-result-1833913-1242826099/solver-1833913-1242826099 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833913-1242826099.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0b7170d33b896e8b879b19b65ac5c517
RANDOM SEED=1059218422
node62.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1955168 kB
Buffers: 16832 kB
Cached: 45404 kB
SwapCached: 7464 kB
Active: 35920 kB
Inactive: 36044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1955168 kB
SwapTotal: 4192956 kB
SwapFree: 4179040 kB
Dirty: 2716 kB
Writeback: 0 kB
Mapped: 14688 kB
Slab: 14616 kB
Committed_AS: 857152 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66256 MiB
End job on node62 at 2009-05-20 15:48:22