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 | 87044 258924 | 26113 0 0 nan | 0.000 % |
0.68/0.78 c | 0 | 86161 373261 | -- 0 -- -- | -- | -883/114337
0.68/0.78 c ==============================================================================
0.68/0.78 c Result : #vars: 871 #clauses: 86161 #literals: 373261
0.68/0.78 c CPU time: 0.758884 s
0.68/0.78 c ==============================================================================
0.78/0.88 c This is MiniSat 2.0 beta
0.78/0.88 c WARNING: for repeatability, setting FPU to use double precision
0.78/0.88 c ============================[ Problem Statistics ]=============================
0.78/0.88 c | |
0.78/0.88 c | Number of variables: 871 |
0.78/0.88 c | Number of clauses: 86161 |
0.87/0.93 c | Parsing time: 0.04 s |
0.87/0.93 c ============================[ Search Statistics ]==============================
0.87/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.87/0.93 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.87/0.93 c ===============================================================================
0.87/0.93 c | 0 | 871 86161 373261 | 28720 0 nan | 0.000 % |
0.87/0.95 c | 101 | 871 86161 373261 | 28720 101 35 | 0.000 % |
0.87/0.99 c | 201 | 871 86161 373261 | 28720 201 39 | 0.000 % |
0.98/1.03 c | 303 | 871 86161 373261 | 28720 303 42 | 0.000 % |
0.98/1.06 c | 414 | 871 86161 373261 | 28720 414 44 | 0.000 % |
0.98/1.09 c | 514 | 871 86161 373261 | 28720 514 46 | 0.000 % |
1.08/1.12 c | 624 | 871 86161 373261 | 28720 624 48 | 0.000 % |
1.08/1.15 c | 745 | 871 86161 373261 | 28720 745 48 | 0.000 % |
1.08/1.19 c | 845 | 871 86161 373261 | 28720 845 48 | 0.000 % |
1.17/1.21 c | 955 | 871 86161 373261 | 28720 955 49 | 0.000 % |
1.17/1.25 c | 1076 | 871 86161 373261 | 28720 1076 49 | 0.000 % |
1.17/1.28 c | 1211 | 871 86161 373261 | 28720 1211 50 | 0.000 % |
1.27/1.31 c | 1312 | 871 86161 373261 | 28720 1312 50 | 0.000 % |
1.27/1.32 c | 1424 | 871 86161 373261 | 28720 1424 50 | 0.001 % |
1.27/1.34 c | 1546 | 871 86161 373261 | 28720 1546 50 | 0.000 % |
1.27/1.38 c | 1679 | 871 86161 373261 | 28720 1679 51 | 0.000 % |
1.37/1.41 c | 1825 | 871 86161 373261 | 28720 1825 51 | 0.000 % |
1.37/1.43 c | 1926 | 871 86161 373261 | 28720 1926 51 | 0.000 % |
1.37/1.45 c | 2037 | 871 86161 373261 | 28720 2037 51 | 0.000 % |
1.37/1.47 c | 2158 | 871 86161 373261 | 28720 2158 51 | 0.000 % |
1.47/1.50 c | 2292 | 871 86161 373261 | 28720 2292 51 | 0.000 % |
1.47/1.52 c | 2439 | 871 86161 373261 | 28720 2439 51 | 0.000 % |
1.47/1.55 c | 2600 | 871 86161 373261 | 28720 2600 51 | 0.000 % |
1.47/1.58 c | 2700 | 871 86161 373261 | 28720 2700 52 | 0.000 % |
1.57/1.62 c | 2811 | 871 86161 373261 | 28720 2811 52 | 0.000 % |
1.57/1.66 c | 2933 | 871 86161 373261 | 28720 2933 52 | 0.000 % |
1.67/1.70 c | 3066 | 871 86161 373261 | 28720 3066 52 | 0.000 % |
1.67/1.75 c | 3212 | 871 86161 373261 | 28720 3212 52 | 0.000 % |
1.77/1.80 c | 3373 | 871 86161 373261 | 28720 3373 52 | 0.000 % |
1.77/1.86 c | 3550 | 871 86161 373261 | 28720 3550 52 | 0.000 % |
1.87/1.91 c | 3651 | 871 86161 373261 | 28720 3651 52 | 0.000 % |
1.87/1.95 c | 3761 | 871 86161 373261 | 28720 3761 52 | 0.000 % |
1.97/2.01 c | 3882 | 871 86161 373261 | 28720 3882 52 | 0.000 % |
1.97/2.06 c | 4015 | 871 86161 373261 | 28720 4015 52 | 0.000 % |
2.07/2.12 c | 4163 | 871 86161 373261 | 28720 4163 52 | 0.000 % |
2.07/2.15 c | 4323 | 871 86161 373261 | 28720 4323 52 | 0.000 % |
2.17/2.22 c | 4499 | 871 86161 373261 | 28720 4499 52 | 0.000 % |
2.27/2.31 c | 4692 | 871 86161 373261 | 28720 4692 52 | 0.000 % |
2.27/2.34 c | 4792 | 871 86161 373261 | 28720 4792 52 | 0.000 % |
2.27/2.38 c | 4903 | 871 86161 373261 | 28720 4903 52 | 0.000 % |
2.38/2.41 c | 5024 | 871 86161 373261 | 28720 5024 52 | 0.000 % |
2.38/2.48 c | 5157 | 871 86161 373261 | 28720 5157 52 | 0.000 % |
2.48/2.54 c | 5303 | 871 86161 373261 | 28720 5303 52 | 0.000 % |
2.58/2.60 c | 5464 | 871 86161 373261 | 28720 5464 52 | 0.000 % |
2.58/2.67 c | 5640 | 871 86161 373261 | 28720 5640 52 | 0.000 % |
2.68/2.75 c | 5833 | 871 86161 373261 | 28720 5833 52 | 0.000 % |
2.77/2.80 c | 6046 | 871 86161 373261 | 28720 6046 52 | 0.000 % |
2.77/2.82 c | 6147 | 871 86161 373261 | 28720 6147 52 | 0.000 % |
2.77/2.85 c | 6257 | 871 86161 373261 | 28720 6257 52 | 0.000 % |
2.77/2.86 c | 6378 | 871 86161 373261 | 28720 6378 52 | 0.000 % |
2.77/2.89 c | 6513 | 871 86161 373261 | 28720 6513 52 | 0.000 % |
2.87/2.93 c | 6663 | 871 86161 373261 | 28720 6663 52 | 0.000 % |
2.87/2.97 c | 6823 | 871 86161 373261 | 28720 6823 52 | 0.000 % |
2.97/3.01 c | 7004 | 871 86161 373261 | 28720 7004 52 | 0.000 % |
2.97/3.06 c | 7197 | 871 86161 373261 | 28720 7197 52 | 0.000 % |
3.07/3.12 c | 7409 | 871 86161 373261 | 28720 7409 52 | 0.000 % |
3.07/3.18 c | 7643 | 871 86161 373261 | 28720 7643 51 | 0.000 % |
3.17/3.21 c | 7743 | 871 86161 373261 | 28720 7743 51 | 0.000 % |
3.17/3.24 c | 7854 | 871 86161 373261 | 28720 7854 51 | 0.000 % |
3.17/3.28 c | 7975 | 871 86161 373261 | 28720 7975 51 | 0.000 % |
3.27/3.33 c | 8108 | 871 86161 373261 | 28720 8108 51 | 0.000 % |
3.27/3.37 c | 8255 | 871 86161 373261 | 28720 8255 51 | 0.000 % |
3.37/3.43 c | 8416 | 871 86161 373261 | 28720 8416 51 | 0.000 % |
3.37/3.49 c | 8592 | 871 86161 373261 | 28720 8592 51 | 0.000 % |
3.48/3.58 c | 8785 | 871 86161 373261 | 28720 8785 51 | 0.000 % |
3.58/3.69 c | 8998 | 871 86161 373261 | 28720 8998 51 | 0.000 % |
3.78/3.84 c | 9233 | 871 86161 373261 | 28720 9233 51 | 0.000 % |
3.88/3.97 c | 9489 | 871 86161 373261 | 28720 9489 51 | 0.000 % |
3.98/4.00 c | 9589 | 871 86161 373261 | 28720 9589 51 | 0.000 % |
3.98/4.06 c | 9699 | 871 86161 373261 | 28720 9699 51 | 0.000 % |
4.08/4.11 c | 9821 | 871 86161 373261 | 28720 9821 51 | 0.000 % |
4.08/4.19 c | 9956 | 871 86161 373261 | 28720 9956 51 | 0.000 % |
4.17/4.28 c | 10103 | 871 86161 373261 | 2147483647 10103 51 | 0.000 % |
4.28/4.32 c | 10263 | 871 86161 373261 | 2147483647 10263 51 | 0.000 % |
4.28/4.40 c | 10441 | 871 86161 373261 | 2147483647 10441 51 | 0.000 % |
4.38/4.49 c | 10635 | 871 86161 373261 | 2147483647 10635 51 | 0.000 % |
4.47/4.58 c | 10848 | 871 86161 373261 | 2147483647 10848 50 | 0.000 % |
4.57/4.69 c | 11082 | 871 86161 373261 | 2147483647 11082 50 | 0.000 % |
4.77/4.85 c | 11338 | 871 86161 373261 | 2147483647 11338 51 | 0.000 % |
4.97/5.01 c | 11619 | 871 86161 373261 | 2147483647 11619 51 | 0.000 % |
4.97/5.06 c | 11720 | 871 86161 373261 | 2147483647 11720 51 | 0.000 % |
5.07/5.13 c | 11831 | 871 86161 373261 | 2147483647 11831 51 | 0.000 % |
5.07/5.19 c | 11953 | 871 86161 373261 | 2147483647 11953 51 | 0.000 % |
5.17/5.25 c | 12086 | 871 86161 373261 | 2147483647 12086 51 | 0.000 % |
5.27/5.33 c | 12234 | 871 86161 373261 | 2147483647 12234 51 | 0.000 % |
5.38/5.46 c | 12395 | 871 86161 373261 | 2147483647 12395 51 | 0.000 % |
5.48/5.53 c | 12572 | 871 86161 373261 | 2147483647 12572 51 | 0.000 % |
5.57/5.66 c | 12767 | 871 86161 373261 | 2147483647 12767 51 | 0.000 % |
5.67/5.79 c | 12980 | 871 86161 373261 | 2147483647 12980 51 | 0.000 % |
5.87/5.93 c | 13214 | 871 86161 373261 | 2147483647 13214 51 | 0.000 % |
5.97/6.09 c | 13472 | 871 86161 373261 | 2147483647 13472 51 | 0.000 % |
6.17/6.20 c | 13754 | 871 86161 373261 | 2147483647 13754 51 | 0.000 % |
6.27/6.35 c | 14064 | 871 86161 373261 | 2147483647 14064 51 | 0.000 % |
6.37/6.42 c | 14164 | 871 86161 373261 | 2147483647 14164 51 | 0.000 % |
6.37/6.49 c | 14277 | 871 86161 373261 | 2147483647 14277 51 | 0.000 % |
6.48/6.55 c | 14398 | 871 86161 373261 | 2147483647 14398 51 | 0.000 % |
6.58/6.63 c | 14533 | 871 86161 373261 | 2147483647 14533 51 | 0.000 % |
6.67/6.73 c | 14680 | 871 86161 373261 | 2147483647 14680 52 | 0.000 % |
6.77/6.82 c | 14841 | 871 86161 373261 | 2147483647 14841 52 | 0.000 % |
6.87/6.91 c | 15019 | 871 86161 373261 | 2147483647 15019 52 | 0.000 % |
6.97/7.07 c | 15213 | 871 86161 373261 | 2147483647 15213 52 | 0.000 % |
7.17/7.20 c | 15425 | 871 86161 373261 | 2147483647 15425 52 | 0.000 % |
7.27/7.36 c | 15658 | 871 86161 373261 | 2147483647 15658 52 | 0.000 % |
7.47/7.51 c | 15917 | 871 86161 373261 | 2147483647 15917 52 | 0.000 % |
7.57/7.67 c | 16200 | 871 86161 373261 | 2147483647 16200 52 | 0.000 % |
7.87/7.94 c | 16509 | 871 86161 373261 | 2147483647 16509 52 | 0.000 % |
8.17/8.21 c | 16849 | 871 86161 373261 | 2147483647 16849 52 | 0.000 % |
8.17/8.27 c | 16949 | 871 86161 373261 | 2147483647 16949 52 | 0.000 % |
8.27/8.34 c | 17060 | 871 86161 373261 | 2147483647 17060 52 | 0.000 % |
8.37/8.42 c | 17183 | 871 86161 373261 | 2147483647 17183 52 | 0.000 % |
8.47/8.51 c | 17320 | 871 86161 373261 | 2147483647 17320 52 | 0.000 % |
8.47/8.58 c | 17467 | 871 86161 373261 | 2147483647 17467 52 | 0.000 % |
8.57/8.70 c | 17627 | 871 86161 373261 | 2147483647 17627 52 | 0.001 % |
8.67/8.77 c | 17803 | 871 86161 373261 | 2147483647 17803 52 | 0.000 % |
8.77/8.87 c | 17997 | 871 86161 373261 | 2147483647 17997 52 | 0.000 % |
8.87/8.98 c | 18209 | 871 86161 373261 | 2147483647 18209 52 | 0.000 % |
9.07/9.15 c | 18442 | 871 86161 373261 | 2147483647 18442 52 | 0.000 % |
9.17/9.28 c | 18700 | 871 86161 373261 | 2147483647 18700 52 | 0.000 % |
9.37/9.46 c | 18981 | 871 86161 373261 | 2147483647 18981 52 | 0.000 % |
9.57/9.66 c | 19290 | 871 86161 373261 | 2147483647 19290 51 | 0.000 % |
9.77/9.84 c | 19629 | 871 86161 373261 | 2147483647 19629 51 | 0.000 % |
9.97/10.08 c | 20001 | 871 86161 373261 | 2147483647 20001 51 | 0.000 % |
10.07/10.15 c | 20104 | 871 86161 373261 | 2147483647 20104 51 | 0.000 % |
10.17/10.25 c | 20214 | 871 86161 373261 | 2147483647 20214 51 | 0.000 % |
10.27/10.33 c | 20335 | 871 86161 373261 | 2147483647 20335 51 | 0.000 % |
10.37/10.44 c | 20469 | 871 86161 373261 | 2147483647 20469 51 | 0.000 % |
10.47/10.56 c | 20615 | 871 86161 373261 | 2147483647 20615 51 | 0.000 % |
10.56/10.65 c | 20776 | 871 86161 373261 | 2147483647 20776 51 | 0.000 % |
10.77/10.80 c | 20953 | 871 86161 373261 | 2147483647 20953 51 | 0.000 % |
10.88/10.90 c | 21146 | 871 86161 373261 | 2147483647 21146 51 | 0.000 % |
10.98/11.06 c | 21359 | 871 86161 373261 | 2147483647 21359 51 | 0.000 % |
11.17/11.20 c | 21593 | 871 86161 373261 | 2147483647 21593 51 | 0.000 % |
11.37/11.47 c | 21849 | 871 86161 373261 | 2147483647 21849 52 | 0.000 % |
11.57/11.68 c | 22131 | 871 86161 373261 | 2147483647 22131 52 | 0.000 % |
11.87/11.95 c | 22440 | 871 86161 373261 | 2147483647 22440 52 | 0.000 % |
12.17/12.20 c | 22780 | 871 86161 373261 | 2147483647 22780 51 | 0.000 % |
12.37/12.45 c | 23152 | 871 86161 373261 | 2147483647 23152 51 | 0.000 % |
12.67/12.76 c | 23562 | 871 86161 373261 | 2147483647 23562 51 | 0.000 % |
12.77/12.89 c | 23663 | 871 86161 373261 | 2147483647 23663 51 | 0.000 % |
12.87/12.98 c | 23773 | 871 86161 373261 | 2147483647 23773 51 | 0.000 % |
12.97/13.07 c | 23895 | 871 86161 373261 | 2147483647 23895 51 | 0.000 % |
13.07/13.17 c | 24028 | 871 86161 373261 | 2147483647 24028 51 | 0.000 % |
13.27/13.31 c | 24174 | 871 86161 373261 | 2147483647 24174 52 | 0.000 % |
13.47/13.51 c | 24334 | 871 86161 373261 | 2147483647 24334 52 | 0.000 % |
13.57/13.68 c | 24510 | 871 86161 373261 | 2147483647 24510 52 | 0.000 % |
13.77/13.82 c | 24704 | 871 86161 373261 | 2147483647 24704 52 | 0.000 % |
13.87/13.94 c | 24919 | 871 86161 373261 | 2147483647 24919 52 | 0.000 % |
14.07/14.12 c | 25154 | 871 86161 373261 | 2147483647 25154 52 | 0.000 % |
14.27/14.32 c | 25410 | 871 86161 373261 | 2147483647 25410 52 | 0.000 % |
14.47/14.52 c | 25692 | 871 86161 373261 | 2147483647 25692 52 | 0.000 % |
14.67/14.73 c | 26003 | 871 86161 373261 | 2147483647 26003 52 | 0.000 % |
14.97/15.00 c | 26342 | 871 86161 373261 | 2147483647 26342 52 | 0.000 % |
15.27/15.36 c | 26715 | 871 86161 373261 | 2147483647 26715 52 | 0.000 % |
15.67/15.78 c | 27124 | 871 86161 373261 | 2147483647 27124 52 | 0.000 % |
16.17/16.24 c | 27573 | 871 86161 373261 | 2147483647 27573 53 | 0.000 % |
16.27/16.36 c | 27674 | 871 86161 373261 | 2147483647 27674 53 | 0.000 % |
16.37/16.45 c | 27784 | 871 86161 373261 | 2147483647 27784 53 | 0.000 % |
16.47/16.57 c | 27908 | 871 86161 373261 | 2147483647 27908 53 | 0.000 % |
16.66/16.71 c | 28042 | 871 86161 373261 | 2147483647 28042 53 | 0.000 % |
16.76/16.89 c | 28189 | 871 86161 373261 | 2147483647 28189 53 | 0.000 % |
16.96/17.06 c | 28349 | 871 86161 373261 | 2147483647 28349 53 | 0.000 % |
17.16/17.23 c | 28525 | 871 86161 373261 | 2147483647 28525 53 | 0.000 % |
17.36/17.44 c | 28719 | 871 86161 373261 | 2147483647 28719 53 | 0.000 % |
17.57/17.66 c | 28934 | 871 86161 373261 | 2147483647 28934 53 | 0.000 % |
17.86/17.94 c | 29167 | 871 86161 373261 | 2147483647 29167 53 | 0.000 % |
18.16/18.20 c | 29425 | 871 86161 373261 | 2147483647 29425 53 | 0.000 % |
18.46/18.56 c | 29707 | 871 86161 373261 | 2147483647 29707 53 | 0.000 % |
18.76/18.89 c | 30017 | 871 86161 373261 | 2147483647 30017 53 | 0.000 % |
19.16/19.25 c | 30356 | 871 86161 373261 | 2147483647 30356 53 | 0.000 % |
19.46/19.56 c | 30728 | 871 86161 373261 | 2147483647 30728 53 | 0.000 % |
19.77/19.87 c | 31138 | 871 86161 373261 | 2147483647 31138 53 | 0.000 % |
20.37/20.45 c | 31589 | 871 86161 373261 | 2147483647 31589 54 | 0.000 % |
20.97/21.07 c | 32082 | 871 86161 373261 | 2147483647 32082 54 | 0.000 % |
21.17/21.25 c | 32182 | 871 86161 373261 | 2147483647 32182 54 | 0.000 % |
21.37/21.40 c | 32292 | 871 86161 373261 | 2147483647 32292 54 | 0.000 % |
21.47/21.55 c | 32413 | 871 86161 373261 | 2147483647 32413 54 | 0.000 % |
21.67/21.77 c | 32547 | 871 86161 373261 | 2147483647 32547 54 | 0.000 % |
21.87/21.99 c | 32693 | 871 86161 373261 | 2147483647 32693 54 | 0.000 % |
22.07/22.19 c | 32853 | 871 86161 373261 | 2147483647 32853 54 | 0.000 % |
22.27/22.33 c | 33030 | 871 86161 373261 | 2147483647 33030 54 | 0.000 % |
22.57/22.64 c | 33224 | 871 86161 373261 | 2147483647 33224 54 | 0.000 % |
22.87/22.91 c | 33437 | 871 86161 373261 | 2147483647 33437 54 | 0.000 % |
23.17/23.21 c | 33672 | 871 86161 373261 | 2147483647 33672 54 | 0.000 % |
23.47/23.56 c | 33928 | 871 86161 373261 | 2147483647 33928 54 | 0.000 % |
23.77/23.83 c | 34209 | 871 86161 373261 | 2147483647 34209 54 | 0.000 % |
24.17/24.21 c | 34519 | 871 86161 373261 | 2147483647 34519 54 | 0.000 % |
24.57/24.62 c | 34859 | 871 86161 373261 | 2147483647 34859 54 | 0.000 % |
24.97/25.01 c | 35231 | 871 86161 373261 | 2147483647 35231 54 | 0.000 % |
25.37/25.49 c | 35641 | 871 86161 373261 | 2147483647 35641 54 | 0.000 % |
25.67/25.78 c | 36091 | 871 86161 373261 | 2147483647 36091 54 | 0.000 % |
26.57/26.68 c | 36584 | 871 86161 373261 | 2147483647 36584 54 | 0.000 % |
27.47/27.58 c | 37127 | 871 86161 373261 | 2147483647 37127 54 | 0.000 % |
27.67/27.71 c | 37227 | 871 86161 373261 | 2147483647 37227 54 | 0.000 % |
27.77/27.88 c | 37338 | 871 86161 373261 | 2147483647 37338 54 | 0.000 % |
28.07/28.12 c | 37460 | 871 86161 373261 | 2147483647 37460 54 | 0.000 % |
28.26/28.35 c | 37595 | 871 86161 373261 | 2147483647 37595 54 | 0.000 % |
28.47/28.58 c | 37743 | 871 86161 373261 | 2147483647 37743 54 | 0.000 % |
28.66/28.76 c | 37906 | 871 86161 373261 | 2147483647 37906 54 | 0.000 % |
28.76/28.89 c | 38083 | 871 86161 373261 | 2147483647 38083 54 | 0.000 % |
29.16/29.22 c | 38277 | 871 86161 373261 | 2147483647 38277 54 | 0.000 % |
29.36/29.43 c | 38489 | 871 86161 373261 | 2147483647 38489 54 | 0.000 % |
29.57/29.66 c | 38724 | 871 86161 373261 | 2147483647 38724 54 | 0.000 % |
29.76/29.83 c | 38981 | 871 86161 373261 | 2147483647 38981 54 | 0.000 % |
30.16/30.28 c | 39262 | 871 86161 373261 | 2147483647 39262 54 | 0.000 % |
30.86/30.97 c | 39575 | 871 86161 373261 | 2147483647 39575 54 | 0.000 % |
31.56/31.64 c | 39914 | 871 86161 373261 | 2147483647 39914 54 | 0.000 % |
32.06/32.14 c | 40287 | 871 86161 373261 | 2147483647 40287 54 | 0.000 % |
32.56/32.62 c | 40700 | 871 86161 373261 | 2147483647 40700 54 | 0.000 % |
33.16/33.21 c | 41151 | 871 86161 373261 | 2147483647 41151 54 | 0.000 % |
33.86/33.92 c | 41645 | 871 86161 373261 | 2147483647 41645 54 | 0.000 % |
34.76/34.84 c | 42188 | 871 86161 373261 | 2147483647 42188 54 | 0.000 % |
35.76/35.83 c | 42786 | 871 86161 373261 | 2147483647 42786 54 | 0.000 % |
35.96/36.02 c | 42886 | 871 86161 373261 | 2147483647 42886 54 | 0.000 % |
36.16/36.21 c | 42999 | 871 86161 373261 | 2147483647 42999 54 | 0.000 % |
36.26/36.35 c | 43120 | 871 86161 373261 | 2147483647 43120 54 | 0.000 % |
36.46/36.53 c | 43254 | 871 86161 373261 | 2147483647 43254 54 | 0.000 % |
36.66/36.72 c | 43404 | 871 86161 373261 | 2147483647 43404 54 | 0.000 % |
36.76/36.87 c | 43568 | 871 86161 373261 | 2147483647 43568 54 | 0.000 % |
37.16/37.28 c | 43745 | 871 86161 373261 | 2147483647 43745 54 | 0.000 % |
37.46/37.53 c | 43939 | 871 86161 373261 | 2147483647 43939 54 | 0.000 % |
37.86/37.97 c | 44151 | 871 86161 373261 | 2147483647 44151 54 | 0.000 % |
38.26/38.32 c | 44385 | 871 86161 373261 | 2147483647 44385 54 | 0.000 % |
38.56/38.63 c | 44641 | 871 86161 373261 | 2147483647 44641 54 | 0.000 % |
38.96/39.02 c | 44922 | 871 86161 373261 | 2147483647 44922 54 | 0.000 % |
39.35/39.50 c | 45233 | 871 86161 373261 | 2147483647 45233 54 | 0.000 % |
40.16/40.28 c | 45575 | 871 86161 373261 | 2147483647 45575 54 | 0.000 % |
41.06/41.17 c | 45947 | 871 86161 373261 | 2147483647 45947 54 | 0.000 % |
42.16/42.25 c | 46356 | 871 86161 373261 | 2147483647 46356 54 | 0.000 % |
42.96/43.10 c | 46805 | 871 86161 373261 | 2147483647 46805 54 | 0.000 % |
43.97/44.03 c | 47304 | 871 86161 373261 | 2147483647 47304 54 | 0.000 % |
45.06/45.17 c | 47846 | 871 86161 373261 | 2147483647 47846 54 | 0.000 % |
46.26/46.33 c | 48445 | 871 86161 373261 | 2147483647 48445 54 | 0.000 % |
47.76/47.87 c | 49100 | 871 86161 373261 | 2147483647 49100 54 | 0.000 % |
48.06/48.16 c | 49200 | 871 86161 373261 | 2147483647 49200 54 | 0.000 % |
48.16/48.29 c | 49313 | 871 86161 373261 | 2147483647 49313 54 | 0.000 % |
48.56/48.65 c | 49437 | 871 86161 373261 | 2147483647 49437 54 | 0.000 % |
48.96/49.02 c | 49572 | 871 86161 373261 | 2147483647 49572 54 | 0.000 % |
49.46/49.53 c | 49718 | 871 86161 373261 | 2147483647 49718 54 | 0.000 % |
49.86/49.91 c | 49878 | 871 86161 373261 | 2147483647 49878 54 | 0.000 % |
50.36/50.45 c | 50056 | 871 86161 373261 | 2147483647 50056 54 | 0.000 % |
50.76/50.85 c | 50252 | 871 86161 373261 | 2147483647 50252 54 | 0.000 % |
51.36/51.43 c | 50465 | 871 86161 373261 | 2147483647 50465 54 | 0.000 % |
52.05/52.11 c | 50698 | 871 86161 373261 | 2147483647 50698 54 | 0.000 % |
52.66/52.73 c | 50954 | 871 86161 373261 | 2147483647 50954 54 | 0.000 % |
53.35/53.42 c | 51239 | 871 86161 373261 | 2147483647 51239 54 | 0.000 % |
54.05/54.19 c | 51549 | 871 86161 373261 | 2147483647 51549 54 | 0.000 % |
54.85/54.99 c | 51888 | 871 86161 373261 | 2147483647 51888 54 | 0.000 % |
55.95/56.05 c | 52260 | 871 86161 373261 | 2147483647 52260 54 | 0.000 % |
56.75/56.81 c | 52671 | 871 86161 373261 | 2147483647 52671 54 | 0.000 % |
57.65/57.78 c | 53120 | 871 86161 373261 | 2147483647 53120 54 | 0.000 % |
58.75/58.87 c | 53613 | 871 86161 373261 | 2147483647 53613 54 | 0.000 % |
59.85/59.91 c | 54155 | 871 86161 373261 | 2147483647 54155 54 | 0.000 % |
60.95/61.06 c | 54755 | 871 86161 373261 | 2147483647 54755 54 | 0.000 % |
61.85/61.91 c | 55415 | 871 86161 373261 | 2147483647 55415 54 | 0.000 % |
62.66/62.76 c | 56137 | 871 86161 373261 | 2147483647 56137 54 | 0.000 % |
62.75/62.90 c | 56237 | 871 86161 373261 | 2147483647 56237 54 | 0.000 % |
62.95/63.04 c | 56347 | 871 86161 373261 | 2147483647 56347 54 | 0.001 % |
63.05/63.19 c | 56470 | 871 86161 373261 | 2147483647 56470 54 | 0.000 % |
63.35/63.42 c | 56603 | 871 86161 373261 | 2147483647 56603 54 | 0.000 % |
63.55/63.65 c | 56749 | 871 86161 373261 | 2147483647 56749 54 | 0.000 % |
63.75/63.87 c | 56909 | 871 86161 373261 | 2147483647 56909 54 | 0.000 % |
64.05/64.14 c | 57091 | 871 86161 373261 | 2147483647 57091 54 | 0.000 % |
64.65/64.76 c | 57286 | 871 86161 373261 | 2147483647 57286 54 | 0.000 % |
65.05/65.14 c | 57499 | 871 86161 373261 | 2147483647 57499 54 | 0.000 % |
65.45/65.56 c | 57732 | 871 86161 373261 | 2147483647 57732 54 | 0.000 % |
66.15/66.20 c | 57988 | 871 86161 373261 | 2147483647 57988 54 | 0.000 % |
66.85/66.92 c | 58269 | 871 86161 373261 | 2147483647 58269 54 | 0.000 % |
67.55/67.69 c | 58580 | 871 86161 373261 | 2147483647 58580 54 | 0.000 % |
68.45/68.55 c | 58919 | 871 86161 373261 | 2147483647 58919 54 | 0.000 % |
69.55/69.65 c | 59291 | 871 86161 373261 | 2147483647 59291 54 | 0.000 % |
70.55/70.70 c | 59703 | 871 86161 373261 | 2147483647 59703 54 | 0.000 % |
71.84/71.99 c | 60154 | 871 86161 373261 | 2147483647 60154 54 | 0.000 % |
73.14/73.24 c | 60649 | 871 86161 373261 | 2147483647 60649 54 | 0.000 % |
74.14/74.28 c | 61192 | 871 86161 373261 | 2147483647 61192 54 | 0.000 % |
75.54/75.62 c | 61790 | 871 86161 373261 | 2147483647 61790 54 | 0.000 % |
77.34/77.48 c | 62445 | 871 86161 373261 | 2147483647 62445 54 | 0.000 % |
79.04/79.15 c | 63170 | 871 86161 373261 | 2147483647 63170 54 | 0.000 % |
81.04/81.20 c | 63962 | 871 86161 373261 | 2147483647 63962 54 | 0.000 % |
81.34/81.49 c | 64065 | 871 86161 373261 | 2147483647 64065 54 | 0.000 % |
81.74/81.87 c | 64175 | 871 86161 373261 | 2147483647 64175 54 | 0.000 % |
82.04/82.19 c | 64297 | 871 86161 373261 | 2147483647 64297 54 | 0.000 % |
82.54/82.63 c | 64431 | 871 86161 373261 | 2147483647 64431 54 | 0.000 % |
83.04/83.11 c | 64579 | 871 86161 373261 | 2147483647 64579 54 | 0.000 % |
83.54/83.70 c | 64740 | 871 86161 373261 | 2147483647 64740 54 | 0.000 % |
84.14/84.25 c | 64917 | 871 86161 373261 | 2147483647 64917 54 | 0.000 % |
84.54/84.70 c | 65111 | 871 86161 373261 | 2147483647 65111 54 | 0.000 % |
85.14/85.27 c | 65324 | 871 86161 373261 | 2147483647 65324 54 | 0.000 % |
85.74/85.89 c | 65558 | 871 86161 373261 | 2147483647 65558 54 | 0.000 % |
86.44/86.57 c | 65815 | 871 86161 373261 | 2147483647 65815 55 | 0.000 % |
87.14/87.21 c | 66097 | 871 86161 373261 | 2147483647 66097 55 | 0.000 % |
88.04/88.15 c | 66409 | 871 86161 373261 | 2147483647 66409 55 | 0.000 % |
88.64/88.79 c | 66748 | 871 86161 373261 | 2147483647 66748 55 | 0.000 % |
89.84/89.91 c | 67120 | 871 86161 373261 | 2147483647 67120 55 | 0.000 % |
91.04/91.16 c | 67532 | 871 86161 373261 | 2147483647 67532 55 | 0.000 % |
92.44/92.50 c | 67981 | 871 86161 373261 | 2147483647 67981 55 | 0.000 % |
93.13/93.21 c | 68474 | 871 86161 373261 | 2147483647 68474 55 | 0.000 % |
94.33/94.47 c | 69018 | 871 86161 373261 | 2147483647 69018 55 | 0.000 % |
96.13/96.25 c | 69614 | 871 86161 373261 | 2147483647 69614 55 | 0.000 % |
97.93/98.03 c | 70269 | 871 86161 373261 | 2147483647 70269 55 | 0.000 % |
99.63/99.77 c | 70989 | 871 86161 373261 | 2147483647 70989 55 | 0.000 % |
101.93/102.08 c | 71783 | 871 86161 373261 | 2147483647 71783 55 | 0.000 % |
104.73/104.87 c | 72655 | 871 86161 373261 | 2147483647 72655 55 | 0.000 % |
105.13/105.25 c | 72755 | 871 86161 373261 | 2147483647 72755 55 | 0.000 % |
105.43/105.55 c | 72866 | 871 86161 373261 | 2147483647 72866 54 | 0.000 % |
105.73/105.86 c | 72988 | 871 86161 373261 | 2147483647 72988 54 | 0.000 % |
106.13/106.21 c | 73121 | 871 86161 373261 | 2147483647 73121 54 | 0.000 % |
106.63/106.71 c | 73268 | 871 86161 373261 | 2147483647 73268 54 | 0.000 % |
107.03/107.18 c | 73428 | 871 86161 373261 | 2147483647 73428 54 | 0.000 % |
107.53/107.68 c | 73605 | 871 86161 373261 | 2147483647 73605 54 | 0.000 % |
108.03/108.17 c | 73799 | 871 86161 373261 | 2147483647 73799 54 | 0.000 % |
108.53/108.65 c | 74014 | 871 86161 373261 | 2147483647 74014 54 | 0.000 % |
109.43/109.58 c | 74248 | 871 86161 373261 | 2147483647 74248 54 | 0.000 % |
110.33/110.45 c | 74506 | 871 86161 373261 | 2147483647 74506 54 | 0.000 % |
111.23/111.37 c | 74787 | 871 86161 373261 | 2147483647 74787 54 | 0.000 % |
111.83/111.97 c | 75097 | 871 86161 373261 | 2147483647 75097 54 | 0.000 % |
113.03/113.12 c | 75436 | 871 86161 373261 | 2147483647 75436 54 | 0.000 % |
114.24/114.36 c | 75809 | 871 86161 373261 | 2147483647 75809 54 | 0.000 % |
115.53/115.69 c | 76218 | 871 86161 373261 | 2147483647 76218 54 | 0.000 % |
116.83/116.94 c | 76669 | 871 86161 373261 | 2147483647 76669 54 | 0.000 % |
118.23/118.38 c | 77162 | 871 86161 373261 | 2147483647 77162 54 | 0.000 % |
119.73/119.84 c | 77704 | 871 86161 373261 | 2147483647 77704 54 | 0.000 % |
121.13/121.22 c | 78303 | 871 86161 373261 | 2147483647 78303 54 | 0.000 % |
123.03/123.20 c | 78958 | 871 86161 373261 | 2147483647 78958 54 | 0.000 % |
124.82/124.92 c | 79679 | 871 86161 373261 | 2147483647 79679 54 | 0.000 % |
126.62/126.72 c | 80477 | 871 86161 373261 | 2147483647 80477 54 | 0.000 % |
128.32/128.41 c | 81348 | 871 86161 373261 | 2147483647 81348 54 | 0.000 % |
130.42/130.50 c | 82307 | 871 86161 373261 | 2147483647 82307 54 | 0.000 % |
130.62/130.73 c | 82408 | 871 86161 373261 | 2147483647 82408 54 | 0.000 % |
131.02/131.10 c | 82520 | 871 86161 373261 | 2147483647 82520 54 | 0.000 % |
131.52/131.65 c | 82641 | 871 86161 373261 | 2147483647 82641 54 | 0.000 % |
131.92/132.02 c | 82774 | 871 86161 373261 | 2147483647 82774 54 | 0.000 % |
132.42/132.53 c | 82921 | 871 86161 373261 | 2147483647 82921 54 | 0.000 % |
132.92/133.03 c | 83081 | 871 86161 373261 | 2147483647 83081 54 | 0.000 % |
133.52/133.65 c | 83257 | 871 86161 373261 | 2147483647 83257 54 | 0.000 % |
134.12/134.21 c | 83451 | 871 86161 373261 | 2147483647 83451 54 | 0.000 % |
134.82/134.90 c | 83665 | 871 86161 373261 | 2147483647 83665 54 | 0.000 % |
135.52/135.62 c | 83899 | 871 86161 373261 | 2147483647 83899 54 | 0.000 % |
136.02/136.15 c | 84156 | 871 86161 373261 | 2147483647 84156 54 | 0.000 % |
136.61/136.77 c | 84439 | 871 86161 373261 | 2147483647 84439 54 | 0.000 % |
137.32/137.47 c | 84749 | 871 86161 373261 | 2147483647 84749 54 | 0.000 % |
138.12/138.29 c | 85089 | 871 86161 373261 | 2147483647 85089 54 | 0.000 % |
139.53/139.67 c | 85463 | 871 86161 373261 | 2147483647 85463 54 | 0.000 % |
140.32/140.49 c | 85872 | 871 86161 373261 | 2147483647 85872 54 | 0.000 % |
141.12/141.25 c | 86321 | 871 86161 373261 | 2147483647 86321 54 | 0.000 % |
142.12/142.27 c | 86814 | 871 86161 373261 | 2147483647 86814 54 | 0.000 % |
143.32/143.44 c | 87356 | 871 86161 373261 | 2147483647 87356 54 | 0.000 % |
144.82/144.90 c | 87952 | 871 86161 373261 | 2147483647 87952 54 | 0.000 % |
146.12/146.28 c | 88608 | 871 86161 373261 | 2147483647 88608 54 | 0.000 % |
147.72/147.86 c | 89329 | 871 86161 373261 | 2147483647 89329 54 | 0.000 % |
149.72/149.85 c | 90121 | 871 86161 373261 | 2147483647 90121 54 | 0.000 % |
151.62/151.71 c | 90993 | 871 86161 373261 | 2147483647 90993 53 | 0.000 % |
153.92/154.08 c | 91951 | 871 86161 373261 | 2147483647 91951 53 | 0.000 % |
157.31/157.48 c | 93005 | 871 86161 373261 | 2147483647 93005 53 | 0.000 % |
157.81/157.91 c | 93105 | 871 86161 373261 | 2147483647 93105 53 | 0.000 % |
158.22/158.33 c | 93216 | 871 86161 373261 | 2147483647 93216 53 | 0.000 % |
158.51/158.66 c | 93337 | 871 86161 373261 | 2147483647 93337 53 | 0.000 % |
158.81/158.97 c | 93470 | 871 86161 373261 | 2147483647 93470 53 | 0.000 % |
159.21/159.36 c | 93618 | 871 86161 373261 | 2147483647 93618 53 | 0.000 % |
159.61/159.73 c | 93778 | 871 86161 373261 | 2147483647 93778 53 | 0.000 % |
160.11/160.20 c | 93957 | 871 86161 373261 | 2147483647 93957 53 | 0.000 % |
160.52/160.66 c | 94151 | 871 86161 373261 | 2147483647 94151 53 | 0.000 % |
161.21/161.37 c | 94363 | 871 86161 373261 | 2147483647 94363 53 | 0.000 % |
162.01/162.18 c | 94596 | 871 86161 373261 | 2147483647 94596 53 | 0.000 % |
163.11/163.22 c | 94855 | 871 86161 373261 | 2147483647 94855 53 | 0.000 % |
164.21/164.33 c | 95138 | 871 86161 373261 | 2147483647 95138 53 | 0.000 % |
165.11/165.28 c | 95449 | 871 86161 373261 | 2147483647 95449 53 | 0.001 % |
166.11/166.21 c | 95789 | 871 86161 373261 | 2147483647 95789 53 | 0.000 % |
166.91/167.05 c | 96161 | 871 86161 373261 | 2147483647 96161 53 | 0.000 % |
167.71/167.86 c | 96574 | 871 86161 373261 | 2147483647 96574 53 | 0.000 % |
168.91/169.03 c | 97023 | 871 86161 373261 | 2147483647 97023 53 | 0.000 % |
170.11/170.29 c | 97518 | 871 86161 373261 | 2147483647 97518 53 | 0.000 % |
172.00/172.13 c | 98061 | 871 86161 373261 | 2147483647 98061 53 | 0.000 % |
173.50/173.62 c | 98657 | 871 86161 373261 | 2147483647 98657 54 | 0.001 % |
175.70/175.87 c | 99312 | 871 86161 373261 | 2147483647 99312 54 | 0.000 % |
177.20/177.39 c | 100032 | 871 86161 373261 | 2147483647 100032 53 | 0.000 % |
179.70/179.86 c | 100826 | 871 86161 373261 | 2147483647 100826 54 | 0.000 % |
181.80/181.99 c | 101698 | 871 86161 373261 | 2147483647 101698 54 | 0.000 % |
184.50/184.63 c | 102658 | 871 86161 373261 | 2147483647 102658 54 | 0.000 % |
186.30/186.48 c | 103713 | 871 86161 373261 | 2147483647 103713 53 | 0.000 % |
189.01/189.14 c | 104872 | 871 86161 373261 | 2147483647 104872 53 | 0.000 % |
189.30/189.44 c | 104974 | 871 86161 373261 | 2147483647 104974 53 | 0.000 % |
189.70/189.82 c | 105085 | 871 86161 373261 | 2147483647 105085 53 | 0.000 % |
190.00/190.14 c | 105206 | 871 86161 373261 | 2147483647 105206 53 | 0.000 % |
190.21/190.36 c | 105339 | 871 86161 373261 | 2147483647 105339 53 | 0.000 % |
190.70/190.83 c | 105487 | 871 86161 373261 | 2147483647 105487 53 | 0.000 % |
191.40/191.52 c | 105648 | 871 86161 373261 | 2147483647 105648 53 | 0.000 % |
192.10/192.24 c | 105827 | 871 86161 373261 | 2147483647 105827 53 | 0.000 % |
192.70/192.83 c | 106020 | 871 86161 373261 | 2147483647 106020 53 | 0.000 % |
193.30/193.42 c | 106232 | 871 86161 373261 | 2147483647 106232 53 | 0.000 % |
193.90/194.01 c | 106465 | 871 86161 373261 | 2147483647 106465 53 | 0.000 % |
194.50/194.69 c | 106721 | 871 86161 373261 | 2147483647 106721 53 | 0.000 % |
195.30/195.48 c | 107003 | 871 86161 373261 | 2147483647 107003 53 | 0.000 % |
196.40/196.53 c | 107314 | 871 86161 373261 | 2147483647 107314 53 | 0.000 % |
197.70/197.89 c | 107653 | 871 86161 373261 | 2147483647 107653 53 | 0.000 % |
199.20/199.35 c | 108027 | 871 86161 373261 | 2147483647 108027 53 | 0.000 % |
200.39/200.51 c | 108436 | 871 86161 373261 | 2147483647 108436 53 | 0.000 % |
201.99/202.10 c | 108885 | 871 86161 373261 | 2147483647 108885 53 | 0.000 % |
203.60/203.75 c | 109379 | 871 86161 373261 | 2147483647 109379 53 | 0.000 % |
204.79/204.98 c | 109926 | 871 86161 373261 | 2147483647 109926 53 | 0.000 % |
206.59/206.72 c | 110522 | 871 86161 373261 | 2147483647 110522 53 | 0.000 % |
209.09/209.24 c | 111177 | 871 86161 373261 | 2147483647 111177 53 | 0.000 % |
211.89/212.05 c | 111897 | 871 86161 373261 | 2147483647 111897 53 | 0.000 % |
214.39/214.59 c | 112690 | 871 86161 373261 | 2147483647 112690 53 | 0.000 % |
216.98/217.18 c | 113562 | 871 86161 373261 | 2147483647 113562 53 | 0.000 % |
220.69/220.82 c | 114520 | 871 86161 373261 | 2147483647 114520 53 | 0.000 % |
224.89/225.05 c | 115576 | 871 86161 373261 | 2147483647 115576 53 | 0.000 % |
229.19/229.38 c | 116734 | 871 86161 373261 | 2147483647 116734 53 | 0.000 % |
234.49/234.68 c | 118008 | 871 86161 373261 | 2147483647 118008 53 | 0.000 % |
235.19/235.34 c | 118109 | 871 86161 373261 | 2147483647 118109 53 | 0.000 % |
235.79/235.92 c | 118222 | 871 86161 373261 | 2147483647 118222 53 | 0.000 % |
236.09/236.23 c | 118343 | 871 86161 373261 | 2147483647 118343 53 | 0.000 % |
236.68/236.86 c | 118479 | 871 86161 373261 | 2147483647 118479 53 | 0.000 % |
236.98/237.11 c | 118625 | 871 86161 373261 | 2147483647 118625 53 | 0.000 % |
237.69/237.89 c | 118786 | 871 86161 373261 | 2147483647 118786 53 | 0.000 % |
238.28/238.43 c | 118962 | 871 86161 373261 | 2147483647 118962 53 | 0.000 % |
239.08/239.25 c | 119155 | 871 86161 373261 | 2147483647 119155 53 | 0.000 % |
239.98/240.15 c | 119367 | 871 86161 373261 | 2147483647 119367 53 | 0.000 % |
241.08/241.20 c | 119601 | 871 86161 373261 | 2147483647 119601 53 | 0.000 % |
241.58/241.75 c | 119857 | 871 86161 373261 | 2147483647 119857 53 | 0.000 % |
242.18/242.33 c | 120138 | 871 86161 373261 | 120000 120138 53 | 0.000 % |
243.48/243.63 c | 120448 | 871 86161 373261 | 120000 101759 53 | 0.000 % |
244.48/244.64 c | 120795 | 871 86161 373261 | 120000 102106 53 | 0.000 % |
245.48/245.62 c | 121169 | 871 86161 373261 | 120000 102480 53 | 0.000 % |
246.38/246.54 c | 121578 | 871 86161 373261 | 120000 102889 53 | 0.000 % |
248.17/248.33 c | 122029 | 871 86161 373261 | 120000 103340 53 | 0.000 % |
250.17/250.38 c | 122523 | 871 86161 373261 | 120000 103834 53 | 0.000 % |
252.97/253.11 c | 123066 | 871 86161 373261 | 120000 104377 53 | 0.000 % |
255.17/255.33 c | 123662 | 871 86161 373261 | 120000 104973 53 | 0.000 % |
257.57/257.74 c | 124319 | 871 86161 373261 | 120000 105630 53 | 0.000 % |
259.27/259.44 c | 125041 | 871 86161 373261 | 120000 106352 53 | 0.000 % |
261.37/261.51 c | 125835 | 871 86161 373261 | 120000 107146 53 | 0.000 % |
265.07/265.23 c | 126706 | 871 86161 373261 | 120000 108017 53 | 0.000 % |
267.67/267.80 c | 127665 | 871 86161 373261 | 120000 108976 53 | 0.000 % |
271.37/271.57 c | 128718 | 871 86161 373261 | 120000 110029 53 | 0.000 % |
274.57/274.73 c | 129876 | 871 86161 373261 | 120000 111187 53 | 0.000 % |
278.07/278.24 c | 131150 | 871 86161 373261 | 111313 96656 52 | 0.000 % |
281.17/281.36 c | 132552 | 871 86161 373261 | 111313 98058 52 | 0.000 % |
281.56/281.71 c | 132653 | 871 86161 373261 | 111313 98159 52 | 0.000 % |
281.86/282.10 c | 132763 | 871 86161 373261 | 111313 98269 52 | 0.000 % |
282.26/282.48 c | 132884 | 871 86161 373261 | 111313 98390 52 | 0.000 % |
282.76/282.93 c | 133017 | 871 86161 373261 | 111313 98523 52 | 0.000 % |
283.26/283.42 c | 133163 | 871 86161 373261 | 111313 98669 52 | 0.000 % |
283.86/284.02 c | 133324 | 871 86161 373261 | 111313 98830 52 | 0.000 % |
284.36/284.58 c | 133502 | 871 86161 373261 | 111313 99008 52 | 0.000 % |
285.06/285.27 c | 133696 | 871 86161 373261 | 111313 99202 52 | 0.000 % |
285.77/285.90 c | 133909 | 871 86161 373261 | 111313 99415 52 | 0.000 % |
286.36/286.57 c | 134146 | 871 86161 373261 | 111313 99652 52 | 0.000 % |
286.87/287.07 c | 134403 | 871 86161 373261 | 111313 99909 52 | 0.000 % |
287.56/287.71 c | 134685 | 871 86161 373261 | 111313 100191 52 | 0.000 % |
288.76/288.92 c | 134995 | 871 86161 373261 | 111313 100501 52 | 0.000 % |
289.76/289.90 c | 135334 | 871 86161 373261 | 111313 100840 52 | 0.000 % |
290.56/290.79 c | 135706 | 871 86161 373261 | 111313 101212 52 | 0.000 % |
291.46/291.62 c | 136116 | 871 86161 373261 | 111313 101622 52 | 0.000 % |
292.46/292.65 c | 136567 | 871 86161 373261 | 111313 102073 52 | 0.000 % |
293.96/294.17 c | 137060 | 871 86161 373261 | 111313 102566 52 | 0.000 % |
296.26/296.45 c | 137603 | 871 86161 373261 | 111313 103109 52 | 0.000 % |
298.26/298.49 c | 138201 | 871 86161 373261 | 111313 103707 52 | 0.000 % |
300.46/300.67 c | 138859 | 871 86161 373261 | 111313 104365 52 | 0.000 % |
303.26/303.46 c | 139582 | 871 86161 373261 | 111313 105088 52 | 0.000 % |
306.16/306.32 c | 140374 | 871 86161 373261 | 2147483647 105880 52 | 0.000 % |
308.16/308.32 c | 141245 | 871 86161 373261 | 2147483647 106751 52 | 0.000 % |
311.35/311.54 c | 142205 | 871 86161 373261 | 2147483647 107711 52 | 0.000 % |
313.95/314.14 c | 143258 | 871 86161 373261 | 2147483647 108764 52 | 0.000 % |
316.66/316.82 c | 144421 | 871 86161 373261 | 2147483647 109927 52 | 0.000 % |
319.85/320.01 c | 145694 | 871 86161 373261 | 2147483647 111200 52 | 0.000 % |
323.55/323.79 c | 147096 | 871 86161 373261 | 2147483647 112602 52 | 0.000 % |
329.25/329.47 c | 148637 | 871 86161 373261 | 2147483647 114143 52 | 0.000 % |
329.65/329.80 c | 148740 | 871 86161 373261 | 2147483647 114246 52 | 0.000 % |
329.85/330.08 c | 148851 | 871 86161 373261 | 2147483647 114357 52 | 0.000 % |
330.35/330.56 c | 148972 | 871 86161 373261 | 2147483647 114478 52 | 0.000 % |
330.95/331.20 c | 149109 | 871 86161 373261 | 2147483647 114615 52 | 0.000 % |
331.55/331.79 c | 149255 | 871 86161 373261 | 2147483647 114761 52 | 0.000 % |
332.25/332.41 c | 149417 | 871 86161 373261 | 2147483647 114923 52 | 0.000 % |
332.85/333.04 c | 149595 | 871 86161 373261 | 2147483647 115101 52 | 0.000 % |
333.75/333.94 c | 149788 | 871 86161 373261 | 2147483647 115294 52 | 0.000 % |
334.65/334.86 c | 150003 | 871 86161 373261 | 2147483647 115509 52 | 0.000 % |
335.65/335.82 c | 150236 | 871 86161 373261 | 2147483647 115742 52 | 0.000 % |
336.45/336.66 c | 150492 | 871 86161 373261 | 2147483647 115998 52 | 0.000 % |
337.45/337.63 c | 150773 | 871 86161 373261 | 2147483647 116279 52 | 0.000 % |
338.65/338.85 c | 151082 | 871 86161 373261 | 2147483647 116588 52 | 0.000 % |
340.14/340.31 c | 151421 | 871 86161 373261 | 2147483647 116927 52 | 0.000 % |
341.34/341.51 c | 151794 | 871 86161 373261 | 2147483647 117300 52 | 0.000 % |
342.44/342.60 c | 152203 | 871 86161 373261 | 2147483647 117709 52 | 0.000 % |
343.94/344.19 c | 152653 | 871 86161 373261 | 2147483647 118159 52 | 0.000 % |
345.64/345.82 c | 153146 | 871 86161 373261 | 2147483647 118652 52 | 0.000 % |
347.74/347.97 c | 153689 | 871 86161 373261 | 2147483647 119195 52 | 0.000 % |
349.74/349.99 c | 154289 | 871 86161 373261 | 2147483647 119795 52 | 0.000 % |
352.04/352.28 c | 154945 | 871 86161 373261 | 2147483647 120451 52 | 0.000 % |
354.74/354.98 c | 155667 | 871 86161 373261 | 2147483647 121173 52 | 0.000 % |
357.54/357.74 c | 156459 | 871 86161 373261 | 2147483647 121965 52 | 0.000 % |
360.43/360.65 c | 157330 | 871 86161 373261 | 2147483647 122836 52 | 0.000 % |
363.53/363.72 c | 158289 | 871 86161 373261 | 2147483647 123795 52 | 0.000 % |
367.03/367.27 c | 159343 | 871 86161 373261 | 2147483647 124849 52 | 0.000 % |
370.83/371.07 c | 160501 | 871 86161 373261 | 2147483647 126007 52 | 0.000 % |
374.93/375.13 c | 161774 | 871 86161 373261 | 2147483647 127280 52 | 0.000 % |
378.63/378.84 c | 163177 | 871 86161 373261 | 2147483647 128683 52 | 0.000 % |
384.03/384.29 c | 164718 | 871 86161 373261 | 2147483647 130224 52 | 0.000 % |
388.32/388.56 c | 166412 | 871 86161 373261 | 2147483647 131918 52 | 0.000 % |
388.72/388.94 c | 166512 | 871 86161 373261 | 2147483647 132018 52 | 0.000 % |
389.13/389.37 c | 166623 | 871 86161 373261 | 2147483647 132129 52 | 0.000 % |
389.52/389.78 c | 166745 | 871 86161 373261 | 2147483647 132251 52 | 0.000 % |
390.12/390.31 c | 166878 | 871 86161 373261 | 2147483647 132384 52 | 0.000 % |
390.62/390.82 c | 167024 | 871 86161 373261 | 2147483647 132530 52 | 0.000 % |
391.43/391.61 c | 167186 | 871 86161 373261 | 2147483647 132692 52 | 0.000 % |
391.83/392.09 c | 167362 | 871 86161 373261 | 2147483647 132868 52 | 0.000 % |
392.53/392.79 c | 167555 | 871 86161 373261 | 2147483647 133061 52 | 0.000 % |
393.33/393.59 c | 167767 | 871 86161 373261 | 2147483647 133273 52 | 0.001 % |
394.03/394.25 c | 168000 | 871 86161 373261 | 2147483647 133506 52 | 0.000 % |
395.63/395.80 c | 168256 | 871 86161 373261 | 2147483647 133762 52 | 0.000 % |
396.43/396.67 c | 168538 | 871 86161 373261 | 2147483647 134044 52 | 0.000 % |
398.03/398.26 c | 168847 | 871 86161 373261 | 2147483647 134353 52 | 0.000 % |
399.53/399.77 c | 169187 | 871 86161 373261 | 2147483647 134693 52 | 0.000 % |
400.93/401.19 c | 169562 | 871 86161 373261 | 2147483647 135068 52 | 0.000 % |
402.82/403.10 c | 169973 | 871 86161 373261 | 2147483647 135479 52 | 0.000 % |
404.32/404.51 c | 170424 | 871 86161 373261 | 2147483647 135930 52 | 0.000 % |
406.02/406.29 c | 170918 | 871 86161 373261 | 2147483647 136424 52 | 0.000 % |
408.02/408.21 c | 171461 | 871 86161 373261 | 2147483647 136967 51 | 0.000 % |
410.02/410.21 c | 172059 | 871 86161 373261 | 2147483647 137565 51 | 0.000 % |
412.42/412.63 c | 172715 | 871 86161 373261 | 2147483647 138221 51 | 0.000 % |
415.72/415.94 c | 173437 | 871 86161 373261 | 2147483647 138943 51 | 0.000 % |
419.01/419.25 c | 174229 | 871 86161 373261 | 2147483647 139735 51 | 0.000 % |
422.22/422.45 c | 175102 | 871 86161 373261 | 2147483647 140608 51 | 0.000 % |
424.71/424.98 c | 176060 | 871 86161 373261 | 2147483647 141566 51 | 0.000 % |
430.12/430.35 c | 177113 | 871 86161 373261 | 2147483647 142619 51 | 0.000 % |
434.32/434.54 c | 178271 | 871 86161 373261 | 2147483647 143777 51 | 0.000 % |
439.51/439.74 c | 179545 | 871 86161 373261 | 2147483647 145051 51 | 0.000 % |
446.01/446.29 c | 180945 | 871 86161 373261 | 2147483647 146451 51 | 0.000 % |
452.01/452.23 c | 182486 | 871 86161 373261 | 2147483647 147992 51 | 0.000 % |
458.71/458.91 c | 184180 | 871 86161 373261 | 2147483647 149686 51 | 0.000 % |
467.10/467.38 c | 186043 | 871 86161 373261 | 2147483647 151549 51 | 0.000 % |
467.50/467.73 c | 186144 | 871 86161 373261 | 2147483647 151650 51 | 0.000 % |
468.00/468.29 c | 186254 | 871 86161 373261 | 2147483647 151760 51 | 0.000 % |
468.60/468.89 c | 186376 | 871 86161 373261 | 2147483647 151882 51 | 0.000 % |
469.10/469.30 c | 186510 | 871 86161 373261 | 2147483647 152016 51 | 0.000 % |
469.80/470.08 c | 186657 | 871 86161 373261 | 2147483647 152163 51 | 0.000 % |
470.61/470.86 c | 186818 | 871 86161 373261 | 2147483647 152324 51 | 0.000 % |
471.71/471.92 c | 186996 | 871 86161 373261 | 2147483647 152502 51 | 0.000 % |
472.60/472.88 c | 187191 | 871 86161 373261 | 2147483647 152697 51 | 0.000 % |
473.10/473.37 c | 187403 | 871 86161 373261 | 2147483647 152909 51 | 0.000 % |
473.91/474.18 c | 187638 | 871 86161 373261 | 2147483647 153144 51 | 0.000 % |
475.10/475.36 c | 187898 | 871 86161 373261 | 2147483647 153404 51 | 0.000 % |
476.80/477.04 c | 188180 | 871 86161 373261 | 2147483647 153686 51 | 0.000 % |
478.80/479.09 c | 188497 | 871 86161 373261 | 2147483647 154003 51 | 0.000 % |
480.20/480.47 c | 188836 | 871 86161 373261 | 2147483647 154342 51 | 0.000 % |
480.80/481.09 c | 189210 | 871 86161 373261 | 2147483647 154716 51 | 0.000 % |
482.30/482.55 c | 189620 | 871 86161 373261 | 2147483647 155126 51 | 0.000 % |
484.40/484.65 c | 190070 | 871 86161 373261 | 155507 155576 51 | 0.000 % |
488.39/488.61 c | 190566 | 871 86161 373261 | 155507 133339 50 | 0.000 % |
491.40/491.65 c | 191110 | 871 86161 373261 | 155507 133883 50 | 0.000 % |
493.19/493.49 c | 191706 | 871 86161 373261 | 155507 134479 50 | 0.000 % |
496.19/496.44 c | 192363 | 871 86161 373261 | 155507 135136 50 | 0.000 % |
499.79/500.01 c | 193086 | 871 86161 373261 | 155507 135859 50 | 0.000 % |
503.70/503.96 c | 193878 | 871 86161 373261 | 155507 136651 50 | 0.000 % |
507.50/507.73 c | 194749 | 871 86161 373261 | 155507 137522 50 | 0.000 % |
513.19/513.41 c | 195707 | 871 86161 373261 | 155507 138480 50 | 0.000 % |
519.00/519.24 c | 196761 | 871 86161 373261 | 155507 139534 50 | 0.000 % |
523.29/523.51 c | 197919 | 871 86161 373261 | 155507 140692 50 | 0.000 % |
530.89/531.11 c | 199194 | 871 86161 373261 | 155507 141967 50 | 0.000 % |
538.58/538.87 c | 200594 | 871 86161 373261 | 142775 106054 49 | 0.000 % |
546.49/546.75 c | 202135 | 871 86161 373261 | 142775 107595 49 | 0.000 % |
555.48/555.73 c | 203829 | 871 86161 373261 | 142775 109289 49 | 0.000 % |
566.28/566.51 c | 205692 | 871 86161 373261 | 142775 111152 49 | 0.000 % |
570.97/571.23 c | 207741 | 871 86161 373261 | 142775 113201 49 | 0.000 % |
571.37/571.64 c | 207844 | 871 86161 373261 | 142775 113304 49 | 0.000 % |
571.47/571.77 c | 207955 | 871 86161 373261 | 142775 113415 49 | 0.000 % |
571.68/571.94 c | 208076 | 871 86161 373261 | 142775 113536 49 | 0.000 % |
572.78/573.03 c | 208211 | 871 86161 373261 | 142775 113671 49 | 0.000 % |
573.67/573.98 c | 208357 | 871 86161 373261 | 142775 113817 49 | 0.000 % |
574.77/575.06 c | 208518 | 871 86161 373261 | 142775 113978 49 | 0.000 % |
576.18/576.40 c | 208694 | 871 86161 373261 | 142775 114154 49 | 0.000 % |
577.77/578.04 c | 208888 | 871 86161 373261 | 142775 114348 49 | 0.000 % |
578.38/578.66 c | 209103 | 871 86161 373261 | 142775 114563 49 | 0.000 % |
579.77/580.00 c | 209338 | 871 86161 373261 | 142775 114798 49 | 0.000 % |
580.87/581.11 c | 209596 | 871 86161 373261 | 142775 115056 49 | 0.000 % |
581.67/581.91 c | 209877 | 871 86161 373261 | 142775 115337 49 | 0.000 % |
582.97/583.20 c | 210186 | 871 86161 373261 | 115460 115646 49 | 0.000 % |
586.27/586.57 c | 210525 | 871 86161 373261 | 115460 81513 48 | 0.000 % |
588.07/588.38 c | 210898 | 871 86161 373261 | 115460 81886 48 | 0.000 % |
590.17/590.42 c | 211309 | 871 86161 373261 | 115460 82297 48 | 0.000 % |
591.07/591.39 c | 211759 | 871 86161 373261 | 115460 82747 48 | 0.000 % |
591.97/592.29 c | 212252 | 871 86161 373261 | 115460 83240 48 | 0.000 % |
593.07/593.33 c | 212794 | 871 86161 373261 | 115460 83782 48 | 0.000 % |
595.17/595.43 c | 213390 | 871 86161 373261 | 115460 84378 48 | 0.000 % |
597.46/597.78 c | 214047 | 871 86161 373261 | 115460 85035 48 | 0.000 % |
600.66/600.90 c | 214767 | 871 86161 373261 | 115460 85755 48 | 0.000 % |
604.56/604.85 c | 215559 | 871 86161 373261 | 115460 86547 48 | 0.000 % |
608.96/609.26 c | 216431 | 871 86161 373261 | 115460 87419 48 | 0.000 % |
612.66/612.98 c | 217389 | 871 86161 373261 | 115460 88377 48 | 0.000 % |
617.96/618.28 c | 218442 | 871 86161 373261 | 115460 89430 48 | 0.000 % |
623.76/624.08 c | 219600 | 871 86161 373261 | 115460 90588 48 | 0.000 % |
629.75/630.07 c | 220874 | 871 86161 373261 | 90988 67392 48 | 0.000 % |
633.36/633.70 c | 222274 | 871 86161 373261 | 90988 68792 47 | 0.000 % |
636.66/636.97 c | 223816 | 871 86161 373261 | 90988 70334 47 | 0.000 % |
640.05/640.38 c | 225511 | 871 86161 373261 | 90988 72029 47 | 0.000 % |
642.95/643.26 c | 227375 | 871 86161 373261 | 90988 73893 48 | 0.000 % |
649.75/650.05 c | 229426 | 871 86161 373261 | 90988 75944 48 | 0.000 % |
656.65/656.96 c | 231680 | 871 86161 373261 | 76518 68315 48 | 0.000 % |
656.85/657.13 c | 231780 | 871 86161 373261 | 76518 68415 48 | 0.000 % |
657.05/657.36 c | 231892 | 871 86161 373261 | 76518 68527 48 | 0.000 % |
657.35/657.61 c | 232015 | 871 86161 373261 | 76518 68650 48 | 0.000 % |
657.75/658.00 c | 232149 | 871 86161 373261 | 76518 68784 48 | 0.000 % |
658.25/658.50 c | 232295 | 871 86161 373261 | 76518 68930 48 | 0.000 % |
658.65/658.96 c | 232455 | 871 86161 373261 | 76518 69090 48 | 0.000 % |
659.14/659.42 c | 232633 | 871 86161 373261 | 76518 69268 48 | 0.000 % |
659.34/659.64 c | 232826 | 871 86161 373261 | 76518 69461 48 | 0.000 % |
659.84/660.19 c | 233040 | 871 86161 373261 | 76518 69675 48 | 0.000 % |
660.44/660.79 c | 233273 | 871 86161 373261 | 76518 69908 48 | 0.000 % |
660.94/661.21 c | 233530 | 871 86161 373261 | 76518 70165 48 | 0.000 % |
661.85/662.12 c | 233811 | 871 86161 373261 | 76518 70446 48 | 0.000 % |
662.54/662.90 c | 234121 | 871 86161 373261 | 76518 70756 48 | 0.000 % |
663.34/663.64 c | 234460 | 871 86161 373261 | 76518 71095 48 | 0.000 % |
664.24/664.57 c | 234832 | 871 86161 373261 | 76518 71467 48 | 0.000 % |
665.44/665.75 c | 235242 | 871 86161 373261 | 76518 71877 48 | 0.000 % |
666.44/666.73 c | 235695 | 871 86161 373261 | 76518 72330 48 | 0.000 % |
668.04/668.39 c | 236190 | 871 86161 373261 | 76518 72825 48 | 0.000 % |
669.84/670.10 c | 236733 | 871 86161 373261 | 76518 73368 48 | 0.000 % |
671.94/672.27 c | 237330 | 871 86161 373261 | 76518 73965 48 | 0.000 % |
673.84/674.17 c | 237986 | 871 86161 373261 | 76518 74621 48 | 0.000 % |
675.74/676.03 c | 238708 | 871 86161 373261 | 76518 75343 48 | 0.000 % |
678.14/678.44 c | 239500 | 871 86161 373261 | 76518 76135 48 | 0.000 % |
680.04/680.36 c | 240372 | 871 86161 373261 | 2147483647 77007 48 | 0.000 % |
682.44/682.72 c | 241331 | 871 86161 373261 | 2147483647 77966 48 | 0.000 % |
684.94/685.25 c | 242384 | 871 86161 373261 | 2147483647 79019 48 | 0.000 % |
687.44/687.78 c | 243545 | 871 86161 373261 | 2147483647 80180 48 | 0.000 % |
691.14/691.45 c | 244819 | 871 86161 373261 | 2147483647 81454 48 | 0.000 % |
695.13/695.40 c | 246219 | 871 86161 373261 | 2147483647 82854 48 | 0.000 % |
698.53/698.87 c | 247759 | 871 86161 373261 | 2147483647 84394 48 | 0.000 % |
702.93/703.20 c | 249453 | 871 86161 373261 | 2147483647 86088 48 | 0.000 % |
707.73/708.05 c | 251317 | 871 86161 373261 | 2147483647 87952 48 | 0.000 % |
713.73/714.07 c | 253366 | 871 86161 373261 | 2147483647 90001 48 | 0.000 % |
720.23/720.53 c | 255621 | 871 86161 373261 | 2147483647 92256 48 | 0.000 % |
727.62/727.92 c | 258099 | 871 86161 373261 | 2147483647 94734 47 | 0.000 % |
727.83/728.11 c | 258199 | 871 86161 373261 | 2147483647 94834 47 | 0.000 % |
728.22/728.53 c | 258309 | 871 86161 373261 | 2147483647 94944 47 | 0.000 % |
728.52/728.88 c | 258433 | 871 86161 373261 | 2147483647 95068 47 | 0.000 % |
729.12/729.45 c | 258567 | 871 86161 373261 | 2147483647 95202 47 | 0.000 % |
729.62/729.94 c | 258713 | 871 86161 373261 | 2147483647 95348 47 | 0.000 % |
730.13/730.46 c | 258873 | 871 86161 373261 | 2147483647 95508 47 | 0.000 % |
730.52/730.88 c | 259052 | 871 86161 373261 | 2147483647 95687 47 | 0.000 % |
731.32/731.68 c | 259245 | 871 86161 373261 | 2147483647 95880 47 | 0.000 % |
731.82/732.20 c | 259457 | 871 86161 373261 | 2147483647 96092 47 | 0.000 % |
732.42/732.79 c | 259692 | 871 86161 373261 | 2147483647 96327 47 | 0.000 % |
733.02/733.31 c | 259948 | 871 86161 373261 | 2147483647 96583 48 | 0.000 % |
734.12/734.40 c | 260229 | 871 86161 373261 | 96640 83578 48 | 0.000 % |
734.52/734.82 c | 260540 | 871 86161 373261 | 96640 83889 48 | 0.000 % |
735.22/735.50 c | 260880 | 871 86161 373261 | 96640 84229 48 | 0.000 % |
735.92/736.26 c | 261253 | 871 86161 373261 | 96640 84602 48 | 0.000 % |
736.92/737.21 c | 261665 | 871 86161 373261 | 96640 85014 48 | 0.000 % |
737.82/738.11 c | 262115 | 871 86161 373261 | 96640 85464 48 | 0.000 % |
738.62/738.90 c | 262609 | 871 86161 373261 | 96640 85958 48 | 0.000 % |
739.42/739.70 c | 263151 | 871 86161 373261 | 96640 86500 48 | 0.000 % |
740.12/740.43 c | 263748 | 871 86161 373261 | 96640 87097 48 | 0.000 % |
741.52/741.86 c | 264403 | 871 86161 373261 | 96640 87752 48 | 0.000 % |
742.82/743.16 c | 265126 | 871 86161 373261 | 96640 88475 48 | 0.000 % |
744.22/744.50 c | 265918 | 871 86161 373261 | 96640 89267 48 | 0.000 % |
745.61/745.99 c | 266790 | 871 86161 373261 | 96640 90139 48 | 0.000 % |
747.51/747.88 c | 267748 | 871 86161 373261 | 96640 91097 48 | 0.000 % |
749.61/749.98 c | 268802 | 871 86161 373261 | 96640 92151 48 | 0.000 % |
751.91/752.20 c | 269962 | 871 86161 373261 | 96640 93311 48 | 0.000 % |
754.51/754.82 c | 271235 | 871 86161 373261 | 2147483647 94584 48 | 0.000 % |
757.11/757.49 c | 272636 | 871 86161 373261 | 2147483647 95985 48 | 0.000 % |
759.71/760.09 c | 274180 | 871 86161 373261 | 2147483647 97529 48 | 0.000 % |
762.91/763.30 c | 275874 | 871 86161 373261 | 2147483647 99223 48 | 0.000 % |
766.31/766.68 c | 277741 | 871 86161 373261 | 2147483647 101090 48 | 0.000 % |
769.51/769.82 c | 279792 | 871 86161 373261 | 2147483647 103141 48 | 0.000 % |
773.31/773.65 c | 282045 | 871 86161 373261 | 2147483647 105394 48 | 0.000 % |
779.40/779.70 c | 284524 | 871 86161 373261 | 2147483647 107873 48 | 0.000 % |
785.40/785.78 c | 287251 | 871 86161 373261 | 2147483647 110600 48 | 0.000 % |
785.60/785.95 c | 287353 | 871 86161 373261 | 2147483647 110702 48 | 0.000 % |
785.80/786.17 c | 287463 | 871 86161 373261 | 2147483647 110812 48 | 0.000 % |
786.00/786.39 c | 287585 | 871 86161 373261 | 2147483647 110934 48 | 0.000 % |
786.30/786.67 c | 287719 | 871 86161 373261 | 2147483647 111068 48 | 0.000 % |
786.70/787.02 c | 287867 | 871 86161 373261 | 2147483647 111216 48 | 0.000 % |
786.90/787.27 c | 288028 | 871 86161 373261 | 2147483647 111377 48 | 0.000 % |
787.50/787.85 c | 288206 | 871 86161 373261 | 2147483647 111555 48 | 0.000 % |
787.90/788.28 c | 288399 | 871 86161 373261 | 2147483647 111748 48 | 0.000 % |
788.20/788.60 c | 288612 | 871 86161 373261 | 2147483647 111961 48 | 0.000 % |
788.70/789.04 c | 288847 | 871 86161 373261 | 2147483647 112196 48 | 0.000 % |
789.40/789.79 c | 289103 | 871 86161 373261 | 2147483647 112452 48 | 0.000 % |
790.30/790.61 c | 289385 | 871 86161 373261 | 2147483647 112734 48 | 0.000 % |
790.90/791.28 c | 289694 | 871 86161 373261 | 2147483647 113043 48 | 0.000 % |
791.50/791.87 c | 290033 | 871 86161 373261 | 2147483647 113382 48 | 0.000 % |
792.70/793.00 c | 290405 | 871 86161 373261 | 2147483647 113754 48 | 0.000 % |
793.60/793.99 c | 290814 | 871 86161 373261 | 2147483647 114163 48 | 0.000 % |
794.80/795.17 c | 291264 | 871 86161 373261 | 2147483647 114613 48 | 0.000 % |
796.10/796.44 c | 291757 | 871 86161 373261 | 2147483647 115106 48 | 0.000 % |
796.99/797.37 c | 292299 | 871 86161 373261 | 2147483647 115648 48 | 0.000 % |
798.39/798.78 c | 292899 | 871 86161 373261 | 2147483647 116248 48 | 0.000 % |
799.89/800.20 c | 293554 | 871 86161 373261 | 2147483647 116903 48 | 0.000 % |
801.69/802.00 c | 294274 | 871 86161 373261 | 2147483647 117623 48 | 0.000 % |
803.70/804.01 c | 295066 | 871 86161 373261 | 2147483647 118415 48 | 0.000 % |
806.19/806.51 c | 295945 | 871 86161 373261 | 2147483647 119294 48 | 0.000 % |
808.29/808.60 c | 296903 | 871 86161 373261 | 2147483647 120252 48 | 0.000 % |
810.39/810.75 c | 297961 | 871 86161 373261 | 2147483647 121310 48 | 0.000 % |
812.49/812.89 c | 299122 | 871 86161 373261 | 2147483647 122471 48 | 0.000 % |
814.59/814.96 c | 300398 | 871 86161 373261 | 2147483647 123747 48 | 0.000 % |
817.29/817.61 c | 301798 | 871 86161 373261 | 2147483647 125147 48 | 0.000 % |
820.19/820.54 c | 303338 | 871 86161 373261 | 2147483647 126687 48 | 0.000 % |
824.19/824.59 c | 305033 | 871 86161 373261 | 2147483647 128382 48 | 0.000 % |
829.38/829.76 c | 306899 | 871 86161 373261 | 2147483647 130248 48 | 0.000 % |
834.38/834.76 c | 308949 | 871 86161 373261 | 2147483647 132298 48 | 0.000 % |
838.58/838.94 c | 311202 | 871 86161 373261 | 2147483647 134551 48 | 0.000 % |
844.08/844.41 c | 313680 | 871 86161 373261 | 2147483647 137029 48 | 0.000 % |
851.08/851.44 c | 316405 | 871 86161 373261 | 2147483647 139754 48 | 0.000 % |
859.88/860.23 c | 319403 | 871 86161 373261 | 2147483647 142752 47 | 0.000 % |
860.07/860.48 c | 319503 | 871 86161 373261 | 2147483647 142852 47 | 0.000 % |
860.47/860.90 c | 319616 | 871 86161 373261 | 2147483647 142965 47 | 0.000 % |
860.98/861.36 c | 319737 | 871 86161 373261 | 2147483647 143086 47 | 0.000 % |
861.37/861.76 c | 319870 | 871 86161 373261 | 2147483647 143219 47 | 0.000 % |
861.98/862.34 c | 320017 | 871 86161 373261 | 143350 143366 47 | 0.000 % |
862.87/863.26 c | 320177 | 871 86161 373261 | 143350 126224 47 | 0.000 % |
863.47/863.82 c | 320354 | 871 86161 373261 | 143350 126401 47 | 0.000 % |
863.87/864.29 c | 320550 | 871 86161 373261 | 143350 126597 47 | 0.000 % |
864.47/864.87 c | 320762 | 871 86161 373261 | 143350 126809 47 | 0.000 % |
864.97/865.36 c | 320995 | 871 86161 373261 | 143350 127042 47 | 0.000 % |
865.47/865.81 c | 321251 | 871 86161 373261 | 143350 127298 47 | 0.000 % |
865.87/866.23 c | 321532 | 871 86161 373261 | 143350 127579 47 | 0.000 % |
866.67/867.02 c | 321842 | 871 86161 373261 | 143350 127889 47 | 0.000 % |
867.58/867.99 c | 322181 | 871 86161 373261 | 143350 128228 47 | 0.000 % |
868.47/868.89 c | 322553 | 871 86161 373261 | 143350 128600 47 | 0.000 % |
869.77/870.13 c | 322966 | 871 86161 373261 | 143350 129013 47 | 0.000 % |
871.17/871.53 c | 323417 | 871 86161 373261 | 143350 129464 47 | 0.000 % |
872.47/872.83 c | 323913 | 871 86161 373261 | 143350 129960 47 | 0.000 % |
873.77/874.19 c | 324455 | 871 86161 373261 | 143350 130502 47 | 0.000 % |
874.97/875.38 c | 325052 | 871 86161 373261 | 143350 131099 47 | 0.000 % |
876.97/877.30 c | 325707 | 871 86161 373261 | 143350 131754 47 | 0.000 % |
878.57/878.92 c | 326428 | 871 86161 373261 | 143350 132475 47 | 0.000 % |
880.47/880.86 c | 327221 | 871 86161 373261 | 143350 133268 47 | 0.000 % |
882.57/882.92 c | 328092 | 871 86161 373261 | 143350 134139 47 | 0.000 % |
885.57/885.94 c | 329051 | 871 86161 373261 | 143350 135098 47 | 0.000 % |
888.87/889.21 c | 330104 | 871 86161 373261 | 136049 136151 47 | 0.000 % |
892.16/892.59 c | 331264 | 871 86161 373261 | 136049 120985 46 | 0.000 % |
895.56/895.96 c | 332538 | 871 86161 373261 | 136049 122259 46 | 0.000 % |
898.46/898.84 c | 333940 | 871 86161 373261 | 136049 123661 46 | 0.000 % |
901.26/901.64 c | 335481 | 871 86161 373261 | 136049 125202 46 | 0.000 % |
904.16/904.59 c | 337177 | 871 86161 373261 | 136049 126898 46 | 0.000 % |
909.26/909.63 c | 339040 | 871 86161 373261 | 136049 128761 46 | 0.000 % |
914.86/915.23 c | 341090 | 871 86161 373261 | 2147483647 130811 46 | 0.000 % |
919.56/919.93 c | 343344 | 871 86161 373261 | 2147483647 133065 46 | 0.000 % |
925.76/926.19 c | 345822 | 871 86161 373261 | 2147483647 135543 46 | 0.000 % |
930.95/931.32 c | 348549 | 871 86161 373261 | 2147483647 138270 46 | 0.000 % |
939.85/940.26 c | 351546 | 871 86161 373261 | 139721 126777 46 | 0.000 % |
948.45/948.85 c | 354842 | 871 86161 373261 | 139721 130073 46 | 0.000 % |
948.75/949.12 c | 354945 | 871 86161 373261 | 139721 130176 46 | 0.000 % |
949.15/949.50 c | 355057 | 871 86161 373261 | 139721 130288 46 | 0.001 % |
949.55/949.95 c | 355180 | 871 86161 373261 | 139721 130411 46 | 0.000 % |
950.05/950.48 c | 355313 | 871 86161 373261 | 139721 130544 46 | 0.000 % |
950.55/950.97 c | 355461 | 871 86161 373261 | 139721 130692 46 | 0.000 % |
951.05/951.46 c | 355623 | 871 86161 373261 | 139721 130854 46 | 0.000 % |
951.45/951.82 c | 355800 | 871 86161 373261 | 139721 131031 46 | 0.000 % |
951.95/952.36 c | 355995 | 871 86161 373261 | 139721 131226 46 | 0.000 % |
952.65/953.04 c | 356207 | 871 86161 373261 | 139721 131438 46 | 0.000 % |
953.25/953.66 c | 356440 | 871 86161 373261 | 139721 131671 46 | 0.000 % |
953.85/954.23 c | 356697 | 871 86161 373261 | 139721 131928 46 | 0.000 % |
954.35/954.72 c | 356978 | 871 86161 373261 | 139721 132209 46 | 0.000 % |
955.25/955.65 c | 357287 | 871 86161 373261 | 139721 132518 46 | 0.000 % |
956.35/956.79 c | 357628 | 871 86161 373261 | 139721 132859 46 | 0.000 % |
957.34/957.73 c | 358000 | 871 86161 373261 | 139721 133231 46 | 0.000 % |
958.54/958.95 c | 358410 | 871 86161 373261 | 139721 133641 46 | 0.000 % |
959.54/959.96 c | 358859 | 871 86161 373261 | 139721 134090 46 | 0.000 % |
960.95/961.34 c | 359353 | 871 86161 373261 | 139721 134584 46 | 0.000 % |
962.05/962.42 c | 359896 | 871 86161 373261 | 139721 135127 46 | 0.000 % |
963.15/963.58 c | 360497 | 871 86161 373261 | 2147483647 135728 46 | 0.000 % |
964.54/964.98 c | 361152 | 871 86161 373261 | 2147483647 136383 46 | 0.000 % |
966.45/966.88 c | 361874 | 871 86161 373261 | 2147483647 137105 46 | 0.000 % |
968.14/968.54 c | 362668 | 871 86161 373261 | 2147483647 137899 46 | 0.000 % |
970.34/970.74 c | 363540 | 871 86161 373261 | 2147483647 138771 46 | 0.000 % |
972.64/973.04 c | 364498 | 871 86161 373261 | 2147483647 139729 46 | 0.000 % |
975.04/975.45 c | 365553 | 871 86161 373261 | 2147483647 140784 46 | 0.000 % |
978.84/979.25 c | 366711 | 871 86161 373261 | 2147483647 141942 46 | 0.000 % |
982.44/982.88 c | 367984 | 871 86161 373261 | 2147483647 143215 46 | 0.000 % |
986.14/986.50 c | 369384 | 871 86161 373261 | 2147483647 144615 46 | 0.000 % |
990.74/991.18 c | 370924 | 871 86161 373261 | 2147483647 146155 46 | 0.000 % |
994.33/994.72 c | 372619 | 871 86161 373261 | 2147483647 147850 46 | 0.000 % |
999.23/999.66 c | 374485 | 871 86161 373261 | 2147483647 149716 46 | 0.000 % |
1005.93/1006.35 c | 376535 | 871 86161 373261 | 2147483647 151766 46 | 0.000 % |
1011.53/1011.96 c | 378789 | 871 86161 373261 | 2147483647 154020 46 | 0.000 % |
1018.73/1019.15 c | 381271 | 871 86161 373261 | 155231 140627 46 | 0.000 % |
1025.33/1025.78 c | 383996 | 871 86161 373261 | 155231 143352 46 | 0.000 % |
1032.43/1032.90 c | 386994 | 871 86161 373261 | 155231 146350 46 | 0.000 % |
1038.53/1038.97 c | 390290 | 871 86161 373261 | 2147483647 149646 46 | 0.000 % |
1047.63/1048.07 c | 393918 | 871 86161 373261 | 2147483647 153274 46 | 0.000 % |
1048.03/1048.44 c | 394019 | 871 86161 373261 | 2147483647 153375 46 | 0.000 % |
1048.63/1049.03 c | 394130 | 871 86161 373261 | 2147483647 153486 46 | 0.000 % |
1048.83/1049.26 c | 394251 | 871 86161 373261 | 2147483647 153607 46 | 0.000 % |
1049.53/1049.91 c | 394386 | 871 86161 373261 | 2147483647 153742 46 | 0.000 % |
1050.13/1050.55 c | 394532 | 871 86161 373261 | 2147483647 153888 46 | 0.000 % |
1050.83/1051.25 c | 394692 | 871 86161 373261 | 2147483647 154048 46 | 0.000 % |
1051.63/1052.06 c | 394868 | 871 86161 373261 | 2147483647 154224 46 | 0.000 % |
1052.13/1052.60 c | 395061 | 871 86161 373261 | 2147483647 154417 46 | 0.000 % |
1053.52/1053.91 c | 395280 | 871 86161 373261 | 2147483647 154636 46 | 0.000 % |
1054.53/1054.91 c | 395516 | 871 86161 373261 | 2147483647 154872 46 | 0.000 % |
1055.32/1055.78 c | 395773 | 871 86161 373261 | 2147483647 155129 46 | 0.000 % |
1056.32/1056.71 c | 396056 | 871 86161 373261 | 2147483647 155412 46 | 0.000 % |
1057.73/1058.12 c | 396365 | 871 86161 373261 | 2147483647 155721 46 | 0.000 % |
1058.93/1059.40 c | 396706 | 871 86161 373261 | 2147483647 156062 46 | 0.000 % |
1060.03/1060.44 c | 397078 | 871 86161 373261 | 2147483647 156434 46 | 0.000 % |
1061.42/1061.87 c | 397487 | 871 86161 373261 | 2147483647 156843 46 | 0.000 % |
1063.22/1063.65 c | 397936 | 871 86161 373261 | 2147483647 157292 46 | 0.000 % |
1064.32/1064.78 c | 398431 | 871 86161 373261 | 2147483647 157787 46 | 0.000 % |
1065.42/1065.86 c | 398973 | 871 86161 373261 | 2147483647 158329 46 | 0.000 % |
1067.32/1067.78 c | 399571 | 871 86161 373261 | 2147483647 158927 46 | 0.000 % |
1069.22/1069.65 c | 400226 | 871 86161 373261 | 159359 159582 46 | 0.000 % |
1071.82/1072.28 c | 400947 | 871 86161 373261 | 159359 133815 46 | 0.000 % |
1074.32/1074.70 c | 401740 | 871 86161 373261 | 159359 134608 46 | 0.000 % |
1076.32/1076.78 c | 402613 | 871 86161 373261 | 159359 135481 46 | 0.000 % |
1078.82/1079.23 c | 403575 | 871 86161 373261 | 159359 136443 46 | 0.000 % |
1081.61/1082.07 c | 404632 | 871 86161 373261 | 159359 137500 46 | 0.000 % |
1084.01/1084.41 c | 405790 | 871 86161 373261 | 159359 138658 46 | 0.000 % |
1087.21/1087.64 c | 407064 | 871 86161 373261 | 159359 139932 46 | 0.000 % |
1091.01/1091.49 c | 408467 | 871 86161 373261 | 159359 141335 46 | 0.000 % |
1094.81/1095.22 c | 410011 | 871 86161 373261 | 142869 142879 46 | 0.000 % |
1099.81/1100.24 c | 411705 | 871 86161 373261 | 142869 126248 46 | 0.000 % |
1104.41/1104.89 c | 413569 | 871 86161 373261 | 142869 128112 46 | 0.000 % |
1110.01/1110.43 c | 415618 | 871 86161 373261 | 142869 130161 46 | 0.000 % |
1116.91/1117.34 c | 417871 | 871 86161 373261 | 142869 132414 46 | 0.000 % |
1123.00/1123.43 c | 420356 | 871 86161 373261 | 2147483647 134899 46 | 0.000 % |
1129.31/1129.71 c | 423083 | 871 86161 373261 | 2147483647 137626 46 | 0.000 % |
1136.50/1136.98 c | 426081 | 871 86161 373261 | 2147483647 140624 46 | 0.000 % |
1143.40/1143.81 c | 429377 | 871 86161 373261 | 2147483647 143920 46 | 0.000 % |
1154.69/1155.20 c | 433003 | 871 86161 373261 | 2147483647 147546 46 | 0.000 % |
1167.19/1167.60 c | 436990 | 871 86161 373261 | 2147483647 151533 46 | 0.000 % |
1167.69/1168.18 c | 437090 | 871 86161 373261 | 2147483647 151633 46 | 0.000 % |
1168.19/1168.61 c | 437202 | 871 86161 373261 | 2147483647 151745 46 | 0.000 % |
1168.69/1169.12 c | 437323 | 871 86161 373261 | 2147483647 151866 46 | 0.000 % |
1169.29/1169.73 c | 437456 | 871 86161 373261 | 2147483647 151999 46 | 0.000 % |
1169.99/1170.43 c | 437604 | 871 86161 373261 | 2147483647 152147 46 | 0.000 % |
1170.59/1171.09 c | 437764 | 871 86161 373261 | 2147483647 152307 46 | 0.000 % |
1171.29/1171.76 c | 437945 | 871 86161 373261 | 2147483647 152488 46 | 0.000 % |
1171.69/1172.17 c | 438138 | 871 86161 373261 | 2147483647 152681 46 | 0.000 % |
1172.49/1172.97 c | 438351 | 871 86161 373261 | 2147483647 152894 46 | 0.000 % |
1173.39/1173.83 c | 438588 | 871 86161 373261 | 2147483647 153131 46 | 0.000 % |
1174.49/1174.99 c | 438845 | 871 86161 373261 | 2147483647 153388 46 | 0.000 % |
1175.09/1175.52 c | 439126 | 871 86161 373261 | 2147483647 153669 46 | 0.000 % |
1175.49/1175.99 c | 439436 | 871 86161 373261 | 2147483647 153979 46 | 0.000 % |
1176.29/1176.73 c | 439775 | 871 86161 373261 | 2147483647 154318 46 | 0.000 % |
1177.59/1178.06 c | 440148 | 871 86161 373261 | 154543 154691 46 | 0.000 % |
1179.49/1179.93 c | 440558 | 871 86161 373261 | 154543 125937 45 | 0.000 % |
1180.99/1181.47 c | 441008 | 871 86161 373261 | 154543 126387 45 | 0.000 % |
1182.48/1182.91 c | 441503 | 871 86161 373261 | 154543 126882 45 | 0.000 % |
1184.38/1184.87 c | 442045 | 871 86161 373261 | 154543 127424 45 | 0.000 % |
1186.58/1187.09 c | 442641 | 871 86161 373261 | 154543 128020 45 | 0.000 % |
1188.69/1189.16 c | 443298 | 871 86161 373261 | 154543 128677 45 | 0.000 % |
1190.98/1191.47 c | 444020 | 871 86161 373261 | 154543 129399 45 | 0.000 % |
1194.19/1194.63 c | 444812 | 871 86161 373261 | 154543 130191 45 | 0.000 % |
1197.68/1198.11 c | 445684 | 871 86161 373261 | 154543 131063 45 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833947-1242826417/watcher-1833947-1242826417 -o /tmp/evaluation-result-1833947-1242826417/solver-1833947-1242826417 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833947-1242826417.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 31054
/proc/meminfo: memFree=1927672/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310671104 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31054/statm: 1339 237 197 169 0 50 0
[pid=31058] ppid=31054 vsize=1436 CPUtime=0
/proc/31058/stat : 31058 (SatELite_releas) R 31054 31054 30843 0 -1 4194304 206 0 0 0 0 0 0 0 18 0 1 0 310671105 1470464 192 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/31058/statm: 359 194 49 173 0 184 0
[startup+0.0625209 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 31054
/proc/meminfo: memFree=1927672/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310671104 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31054/statm: 1339 237 197 169 0 50 0
[pid=31058] ppid=31054 vsize=7024 CPUtime=0.05
/proc/31058/stat : 31058 (SatELite_releas) R 31054 31054 30843 0 -1 4194304 1589 0 0 0 4 1 0 0 18 0 1 0 310671105 7192576 1575 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/31058/statm: 1756 1575 76 173 0 1581 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12380
[startup+0.101526 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 31054
/proc/meminfo: memFree=1927672/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310671104 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31054/statm: 1339 237 197 169 0 50 0
[pid=31058] ppid=31054 vsize=7684 CPUtime=0.09
/proc/31058/stat : 31058 (SatELite_releas) R 31054 31054 30843 0 -1 4194304 1764 0 0 0 8 1 0 0 18 0 1 0 310671105 7868416 1750 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/31058/statm: 1921 1750 76 173 0 1746 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13040
[startup+0.30155 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 31054
/proc/meminfo: memFree=1927672/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310671104 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31054/statm: 1339 237 197 169 0 50 0
[pid=31058] ppid=31054 vsize=10208 CPUtime=0.28
/proc/31058/stat : 31058 (SatELite_releas) R 31054 31054 30843 0 -1 4194304 2358 0 0 0 27 1 0 0 19 0 1 0 310671105 10452992 2344 1992294400 134512640 135223648 4294956128 18446744073709551615 134549033 0 0 4096 3 0 0 0 17 1 0 0
/proc/31058/statm: 2552 2344 76 173 0 2377 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15564
[startup+0.701601 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 31054
/proc/meminfo: memFree=1927672/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310671104 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31054/statm: 1339 237 197 169 0 50 0
[pid=31058] ppid=31054 vsize=10208 CPUtime=0.68
/proc/31058/stat : 31058 (SatELite_releas) R 31054 31054 30843 0 -1 4194304 2358 0 0 0 67 1 0 0 23 0 1 0 310671105 10452992 2344 1992294400 134512640 135223648 4294956128 18446744073709551615 134585468 0 0 4096 3 0 0 0 17 1 0 0
/proc/31058/statm: 2552 2344 76 173 0 2377 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15564
[startup+1.5017 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 31060
/proc/meminfo: memFree=1919848/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=6696 CPUtime=0.6
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 1559 0 0 0 60 0 0 0 22 0 1 0 310671192 6856704 1545 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 1674 1545 77 171 0 1501 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12052
[startup+3.1019 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 31060
/proc/meminfo: memFree=1918632/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=7896 CPUtime=2.2
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 1869 0 0 0 219 1 0 0 25 0 1 0 310671192 8085504 1855 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 1974 1855 77 171 0 1801 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13252
[startup+6.3013 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 31060
/proc/meminfo: memFree=1916328/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=9656 CPUtime=5.4
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 2316 0 0 0 538 2 0 0 25 0 1 0 310671192 9887744 2302 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 2414 2302 77 171 0 2241 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 15012
[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 31060
/proc/meminfo: memFree=1913640/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=12200 CPUtime=11.8
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 2935 0 0 0 1177 3 0 0 25 0 1 0 310671192 12492800 2921 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 3050 2921 77 171 0 2877 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 17556
[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 31060
/proc/meminfo: memFree=1909992/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=15636 CPUtime=24.6
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 3799 0 0 0 2456 4 0 0 25 0 1 0 310671192 16011264 3785 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 3909 3785 77 171 0 3736 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 20992
[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 31060
/proc/meminfo: memFree=1905576/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=20256 CPUtime=50.19
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 4889 0 0 0 5014 5 0 0 25 0 1 0 310671192 20742144 4875 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 5064 4875 77 171 0 4891 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 25612
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 31060
/proc/meminfo: memFree=1899688/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=26204 CPUtime=101.36
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 6341 0 0 0 10130 6 0 0 25 0 1 0 310671192 26832896 6327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 6551 6327 77 171 0 6378 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 31560
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31060
/proc/meminfo: memFree=1893608/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=32440 CPUtime=161.34
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 7834 0 0 0 16126 8 0 0 25 0 1 0 310671192 33218560 7820 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 8110 7820 77 171 0 7937 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 37796
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31060
/proc/meminfo: memFree=1887976/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=38096 CPUtime=221.32
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 9209 0 0 0 22122 10 0 0 25 0 1 0 310671192 39010304 9195 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 9524 9195 77 171 0 9351 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 43452
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31060
/proc/meminfo: memFree=1885800/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=40212 CPUtime=281.29
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 9732 0 0 0 28119 10 0 0 25 0 1 0 310671192 41177088 9718 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 10053 9718 77 171 0 9880 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 45568
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31060
/proc/meminfo: memFree=1884776/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=41104 CPUtime=341.27
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 9949 0 0 0 34117 10 0 0 25 0 1 0 310671192 42090496 9935 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 10276 9935 77 171 0 10103 0
Current children cumulated CPU time (s) 342.14
################
# More data... #
################
/proc/31060/statm: 12380 11852 77 171 0 12207 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 54876
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31060
/proc/meminfo: memFree=1876648/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=49520 CPUtime=641.18
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 11866 0 0 0 64105 13 0 0 25 0 1 0 310671192 50708480 11852 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 12380 11852 77 171 0 12207 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 54876
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31062
/proc/meminfo: memFree=1876328/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=49520 CPUtime=701.16
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 11881 0 0 0 70103 13 0 0 25 0 1 0 310671192 50708480 11867 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 12380 11867 77 171 0 12207 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 54876
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31062
/proc/meminfo: memFree=1876200/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=49652 CPUtime=761.14
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 11914 0 0 0 76101 13 0 0 25 0 1 0 310671192 50843648 11900 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 12413 11900 77 171 0 12240 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 55008
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31062
/proc/meminfo: memFree=1875752/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=50208 CPUtime=821.12
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 12011 0 0 0 82099 13 0 0 25 0 1 0 310671192 51412992 11997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 12552 11997 77 171 0 12379 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 55564
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31062
/proc/meminfo: memFree=1875304/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=50584 CPUtime=881.1
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 12105 0 0 0 88097 13 0 0 25 0 1 0 310671192 51798016 12091 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 12646 12091 77 171 0 12473 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 55940
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31062
/proc/meminfo: memFree=1875112/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=50748 CPUtime=941.08
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 12143 0 0 0 94095 13 0 0 25 0 1 0 310671192 51965952 12129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 12687 12129 77 171 0 12514 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 56104
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31062
/proc/meminfo: memFree=1874728/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=50960 CPUtime=1001.06
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 12220 0 0 0 100093 13 0 0 25 0 1 0 310671192 52183040 12206 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 12740 12206 77 171 0 12567 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 56316
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31062
/proc/meminfo: memFree=1874344/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=51376 CPUtime=1061.05
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 12276 0 0 0 106091 14 0 0 25 0 1 0 310671192 52609024 12262 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 12844 12262 77 171 0 12671 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 56732
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31062
/proc/meminfo: memFree=1874152/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=51376 CPUtime=1121.03
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 12314 0 0 0 112089 14 0 0 25 0 1 0 310671192 52609024 12300 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 12844 12300 77 171 0 12671 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 56732
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31062
/proc/meminfo: memFree=1873704/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=51740 CPUtime=1181.01
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 12387 0 0 0 118087 14 0 0 25 0 1 0 310671192 52981760 12373 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 12935 12373 77 171 0 12762 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 57096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31062
/proc/meminfo: memFree=1873704/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=51740 CPUtime=1199.21
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 12387 0 0 0 119907 14 0 0 25 0 1 0 310671192 52981760 12373 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 12935 12373 77 171 0 12762 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 57096
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: 0.99 0.98 0.99 2/67 31062
/proc/meminfo: memFree=1873704/2055920 swapFree=4166124/4192956
[pid=31054] ppid=31052 vsize=5356 CPUtime=0.87
/proc/31054/stat : 31054 (SatELiteGTI) S 31052 31054 30843 0 -1 4194304 336 2611 0 0 0 0 84 3 16 0 1 0 310671104 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31054/statm: 1339 239 197 169 0 50 0
[pid=31060] ppid=31054 vsize=51740 CPUtime=1199.21
/proc/31060/stat : 31060 (minisat_static) R 31054 31054 30843 0 -1 4194304 12387 0 0 0 119907 14 0 0 25 0 1 0 310671192 52981760 12373 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31060/statm: 12935 12373 77 171 0 12762 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 57096
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31054 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=850870
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=33994
# CPU time returned by wait4() is 0.884864
# while last known CPU time is 1200.08
#
# 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.08
CPU user time (s): 1199.91
CPU system time (s): 0.17
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 57096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.85087
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2947
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= 8
runsolver used 1.12283 second user time and 3.3175 second system time
The end
Begin job on node92 at 2009-05-20 15:33:37
IDJOB=1833947
IDBENCH=71089
IDSOLVER=671
FILE ID=node92/1833947-1242826417
PBS_JOBID= 9322504
Free space on /tmp= 65896 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833947-1242826417/watcher-1833947-1242826417 -o /tmp/evaluation-result-1833947-1242826417/solver-1833947-1242826417 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833947-1242826417.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= feb620c17f2a4d7899a2e7883baa7391
RANDOM SEED=1182214620
node92.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.245
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.245
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1928224 kB
Buffers: 13700 kB
Cached: 61012 kB
SwapCached: 21100 kB
Active: 48084 kB
Inactive: 49136 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1928224 kB
SwapTotal: 4192956 kB
SwapFree: 4166124 kB
Dirty: 2908 kB
Writeback: 0 kB
Mapped: 13912 kB
Slab: 16396 kB
Committed_AS: 816076 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65896 MiB
End job on node92 at 2009-05-20 15:53:40