0.00/0.00 c Parsing...
0.13/0.12 c ==============================================================================
0.13/0.12 c | | ORIGINAL | LEARNT | |
0.13/0.12 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.13/0.12 c ==============================================================================
0.13/0.12 c | 0 | 135474 356036 | 40642 0 0 nan | 0.000 % |
1.23/1.27 c | 0 | 114078 411814 | -- 0 -- -- | -- | -21277/56123
1.23/1.27 c ==============================================================================
1.23/1.27 c Result : #vars: 18800 #clauses: 114078 #literals: 411814
1.23/1.27 c CPU time: 1.25 s
1.23/1.27 c ==============================================================================
1.33/1.41 c This is MiniSat 2.0 beta
1.33/1.41 c WARNING: for repeatability, setting FPU to use double precision
1.33/1.41 c ============================[ Problem Statistics ]=============================
1.33/1.41 c | |
1.33/1.42 c | Number of variables: 18800 |
1.33/1.42 c | Number of clauses: 114078 |
1.42/1.49 c | Parsing time: 0.08 s |
1.42/1.50 c ============================[ Search Statistics ]==============================
1.42/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.42/1.50 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.42/1.50 c ===============================================================================
1.42/1.50 c | 0 | 18800 114078 411814 | 38026 0 nan | 0.000 % |
1.42/1.61 c | 512 | 18787 114078 411814 | 38026 510 32 | 0.532 % |
1.42/1.77 c | 1024 | 18785 114078 411814 | 38026 1021 34 | 0.633 % |
1.42/1.93 c | 1536 | 18681 113111 409182 | 38026 1533 52 | 0.633 % |
2.23/2.30 c | 2561 | 18672 113061 409036 | 38026 2557 48 | 0.681 % |
2.33/2.35 c | 3074 | 18672 113061 409036 | 38026 3070 44 | 0.681 % |
2.43/2.50 c | 3587 | 18672 113061 409036 | 38026 3583 44 | 0.681 % |
2.73/2.79 c | 4611 | 18577 112469 407599 | 38026 4606 46 | 1.187 % |
3.43/3.46 c | 6659 | 18558 112338 407253 | 38026 6653 47 | 1.287 % |
3.53/3.59 c | 7171 | 18558 112338 407253 | 38026 7165 47 | 1.287 % |
3.63/3.71 c | 7685 | 18558 112338 407253 | 38026 7679 46 | 1.287 % |
3.93/4.00 c | 8709 | 18558 112338 407253 | 38026 8703 45 | 1.287 % |
4.13/4.14 c | 9221 | 18547 112232 406926 | 38026 9214 45 | 1.346 % |
4.23/4.24 c | 9737 | 18546 112232 406926 | 38026 9729 44 | 1.404 % |
4.53/4.53 c | 10761 | 18546 112232 406926 | 2147483647 10753 45 | 1.404 % |
5.23/5.24 c | 12809 | 18536 112125 406575 | 2147483647 12801 45 | 1.404 % |
7.33/7.36 c | 16905 | 18536 112125 406575 | 2147483647 16897 49 | 1.404 % |
7.43/7.47 c | 17417 | 18536 112125 406575 | 2147483647 17409 49 | 1.404 % |
7.73/7.79 c | 17929 | 18536 112125 406575 | 2147483647 17921 52 | 1.404 % |
8.23/8.27 c | 18954 | 18536 112125 406575 | 2147483647 18946 53 | 1.404 % |
8.53/8.54 c | 19466 | 18536 112125 406575 | 2147483647 19458 53 | 1.404 % |
8.73/8.74 c | 19978 | 18536 112125 406575 | 2147483647 19970 52 | 1.404 % |
9.13/9.18 c | 21002 | 18536 112125 406575 | 2147483647 20994 52 | 1.404 % |
10.03/10.04 c | 23051 | 18536 112125 406575 | 2147483647 23043 51 | 1.404 % |
10.33/10.35 c | 23564 | 18536 112125 406575 | 2147483647 23556 52 | 1.404 % |
10.53/10.54 c | 24077 | 18536 112125 406575 | 2147483647 24069 52 | 1.404 % |
10.93/10.95 c | 25101 | 18536 112125 406575 | 2147483647 25093 52 | 1.404 % |
11.13/11.17 c | 25614 | 18536 112125 406575 | 2147483647 25606 53 | 1.404 % |
11.33/11.32 c | 26127 | 18536 112125 406575 | 2147483647 26119 53 | 1.404 % |
11.93/11.93 c | 27152 | 18536 112125 406575 | 2147483647 27144 54 | 1.404 % |
12.93/12.93 c | 29200 | 18536 112125 406575 | 2147483647 29192 54 | 1.404 % |
15.53/15.58 c | 33296 | 18536 112125 406575 | 2147483647 33288 57 | 1.404 % |
19.53/19.59 c | 41488 | 18536 112125 406575 | 2147483647 41480 55 | 1.404 % |
19.93/19.93 c | 42000 | 18536 112125 406575 | 2147483647 41992 55 | 1.404 % |
20.13/20.21 c | 42512 | 18536 112125 406575 | 2147483647 42504 55 | 1.404 % |
20.83/20.83 c | 43536 | 18536 112125 406575 | 2147483647 43528 55 | 1.404 % |
21.03/21.07 c | 44048 | 18536 112125 406575 | 2147483647 44040 54 | 1.404 % |
21.43/21.42 c | 44561 | 18536 112125 406575 | 2147483647 44553 54 | 1.404 % |
21.93/22.02 c | 45585 | 18536 112125 406575 | 2147483647 45577 54 | 1.404 % |
23.03/23.11 c | 47633 | 18536 112125 406575 | 2147483647 47625 54 | 1.404 % |
23.23/23.24 c | 48147 | 18536 112125 406575 | 2147483647 48139 54 | 1.404 % |
23.43/23.47 c | 48661 | 18536 112125 406575 | 2147483647 48653 54 | 1.404 % |
24.03/24.06 c | 49685 | 18536 112125 406575 | 2147483647 49677 54 | 1.404 % |
24.33/24.33 c | 50197 | 18536 112125 406575 | 2147483647 50189 54 | 1.404 % |
24.63/24.70 c | 50710 | 18536 112125 406575 | 2147483647 50702 54 | 1.404 % |
25.23/25.22 c | 51734 | 18536 112125 406575 | 2147483647 51726 54 | 1.404 % |
26.23/26.27 c | 53782 | 18536 112125 406575 | 2147483647 53774 54 | 1.404 % |
28.63/28.71 c | 57879 | 18536 112125 406575 | 2147483647 57871 53 | 1.404 % |
28.93/29.00 c | 58392 | 18536 112125 406575 | 2147483647 58384 53 | 1.404 % |
29.13/29.15 c | 58906 | 18536 112125 406575 | 2147483647 58898 53 | 1.404 % |
29.33/29.37 c | 59930 | 18536 112125 406575 | 2147483647 59922 52 | 1.404 % |
29.74/29.79 c | 60444 | 18536 112125 406575 | 2147483647 60436 53 | 1.404 % |
30.03/30.06 c | 60956 | 18536 112125 406575 | 2147483647 60948 52 | 1.404 % |
30.84/30.85 c | 61980 | 18536 112125 406575 | 2147483647 61972 53 | 1.404 % |
31.63/31.63 c | 64029 | 18536 112125 406575 | 2147483647 64021 52 | 1.404 % |
31.94/31.99 c | 64541 | 18536 112125 406575 | 2147483647 64533 52 | 1.404 % |
32.23/32.23 c | 65054 | 18536 112125 406575 | 2147483647 65046 52 | 1.404 % |
32.73/32.77 c | 66078 | 18536 112125 406575 | 2147483647 66070 51 | 1.404 % |
33.04/33.03 c | 66592 | 18536 112125 406575 | 2147483647 66584 51 | 1.405 % |
33.23/33.30 c | 67104 | 18536 112125 406575 | 2147483647 67096 51 | 1.405 % |
33.93/33.92 c | 68128 | 18536 112125 406575 | 2147483647 68120 52 | 1.404 % |
34.93/34.99 c | 70176 | 18536 112125 406575 | 2147483647 70168 52 | 1.405 % |
36.73/36.74 c | 74275 | 18536 112125 406575 | 2147483647 74267 51 | 1.405 % |
42.83/42.88 c | 82468 | 18536 112125 406575 | 2147483647 82460 52 | 1.404 % |
54.93/54.97 c | 98852 | 18536 112125 406575 | 2147483647 98844 54 | 1.404 % |
55.43/55.51 c | 99368 | 18536 112125 406575 | 2147483647 99360 54 | 1.404 % |
55.93/56.01 c | 99880 | 18536 112125 406575 | 2147483647 99872 54 | 1.404 % |
57.03/57.09 c | 100906 | 18536 112125 406575 | 2147483647 100898 55 | 1.404 % |
57.73/57.72 c | 101418 | 18525 112018 406224 | 2147483647 101409 54 | 1.463 % |
58.23/58.24 c | 101935 | 18525 112018 406224 | 2147483647 101926 54 | 1.463 % |
59.13/59.12 c | 102959 | 18525 112018 406224 | 2147483647 102950 55 | 1.463 % |
60.83/60.82 c | 105008 | 18525 112018 406224 | 2147483647 104999 54 | 1.463 % |
61.23/61.22 c | 105521 | 18525 112018 406224 | 2147483647 105512 54 | 1.463 % |
61.64/61.70 c | 106034 | 18525 112018 406224 | 2147483647 106025 54 | 1.463 % |
62.53/62.57 c | 107059 | 18525 112018 406224 | 2147483647 107050 54 | 1.463 % |
62.74/62.80 c | 107571 | 18525 112018 406224 | 2147483647 107562 54 | 1.463 % |
63.23/63.24 c | 108084 | 18525 112018 406224 | 2147483647 108075 54 | 1.463 % |
64.23/64.28 c | 109108 | 18525 112018 406224 | 2147483647 109099 54 | 1.463 % |
66.33/66.39 c | 111156 | 18525 112018 406224 | 109991 111147 54 | 1.463 % |
70.53/70.60 c | 115252 | 18525 112018 406224 | 109991 104129 54 | 1.463 % |
71.03/71.03 c | 115764 | 18525 112018 406224 | 109991 104641 53 | 1.463 % |
71.43/71.50 c | 116278 | 18525 112018 406224 | 109991 105155 53 | 1.463 % |
72.73/72.76 c | 117304 | 18525 112018 406224 | 109991 106181 54 | 1.463 % |
73.23/73.28 c | 117817 | 18525 112018 406224 | 109991 106694 54 | 1.463 % |
73.74/73.79 c | 118329 | 18525 112018 406224 | 109991 107206 54 | 1.463 % |
74.53/74.60 c | 119355 | 18525 112018 406224 | 109991 108232 54 | 1.463 % |
76.23/76.23 c | 121403 | 18525 112018 406224 | 2147483647 110280 53 | 1.463 % |
76.73/76.80 c | 121917 | 18525 112018 406224 | 2147483647 110794 53 | 1.463 % |
77.04/77.11 c | 122429 | 18525 112018 406224 | 2147483647 111306 53 | 1.463 % |
78.33/78.40 c | 123453 | 18525 112018 406224 | 2147483647 112330 53 | 1.463 % |
78.73/78.80 c | 123966 | 18525 112018 406224 | 2147483647 112843 53 | 1.463 % |
79.43/79.46 c | 124479 | 18525 112018 406224 | 2147483647 113356 53 | 1.463 % |
80.73/80.72 c | 125504 | 18525 112018 406224 | 2147483647 114381 53 | 1.463 % |
82.63/82.66 c | 127553 | 18525 112018 406224 | 2147483647 116430 53 | 1.463 % |
87.14/87.14 c | 131649 | 18525 112018 406224 | 2147483647 120526 53 | 1.463 % |
97.34/97.39 c | 139842 | 18525 112018 406224 | 2147483647 128719 54 | 1.463 % |
97.94/97.94 c | 140355 | 18525 112018 406224 | 2147483647 129232 54 | 1.463 % |
98.14/98.15 c | 140869 | 18525 112018 406224 | 2147483647 129746 54 | 1.463 % |
99.24/99.24 c | 141893 | 18525 112018 406224 | 2147483647 130770 54 | 1.463 % |
99.64/99.65 c | 142405 | 18525 112018 406224 | 2147483647 131282 54 | 1.463 % |
100.14/100.18 c | 142917 | 18525 112018 406224 | 2147483647 131794 54 | 1.463 % |
101.34/101.36 c | 143942 | 18525 112018 406224 | 2147483647 132819 54 | 1.463 % |
104.03/104.03 c | 145990 | 18525 112018 406224 | 2147483647 134867 54 | 1.463 % |
104.53/104.55 c | 146502 | 18525 112018 406224 | 2147483647 135379 54 | 1.463 % |
105.23/105.25 c | 147016 | 18525 112018 406224 | 2147483647 135893 54 | 1.463 % |
106.73/106.73 c | 148041 | 18525 112018 406224 | 2147483647 136918 54 | 1.463 % |
107.03/107.06 c | 148553 | 18525 112018 406224 | 2147483647 137430 54 | 1.463 % |
107.73/107.74 c | 149065 | 18525 112018 406224 | 2147483647 137942 54 | 1.463 % |
109.13/109.12 c | 150089 | 18525 112018 406224 | 2147483647 138966 54 | 1.463 % |
111.33/111.32 c | 152138 | 18525 112018 406224 | 2147483647 141015 54 | 1.463 % |
116.83/116.91 c | 156235 | 18525 112018 406224 | 2147483647 145112 54 | 1.463 % |
117.63/117.68 c | 156751 | 18525 112018 406224 | 2147483647 145628 54 | 1.463 % |
118.13/118.14 c | 157263 | 18525 112018 406224 | 2147483647 146140 54 | 1.463 % |
118.63/118.64 c | 158287 | 18525 112018 406224 | 2147483647 147164 54 | 1.463 % |
119.33/119.31 c | 158799 | 18525 112018 406224 | 2147483647 147676 54 | 1.463 % |
119.73/119.77 c | 159311 | 18525 112018 406224 | 2147483647 148188 54 | 1.463 % |
121.03/121.07 c | 160335 | 18525 112018 406224 | 2147483647 149212 54 | 1.463 % |
123.73/123.80 c | 162383 | 18525 112018 406224 | 2147483647 151260 54 | 1.463 % |
124.13/124.13 c | 162897 | 18525 112018 406224 | 2147483647 151774 54 | 1.463 % |
124.73/124.74 c | 163409 | 18525 112018 406224 | 2147483647 152286 54 | 1.463 % |
125.93/125.98 c | 164435 | 18525 112018 406224 | 2147483647 153312 54 | 1.463 % |
126.53/126.58 c | 164948 | 18525 112018 406224 | 2147483647 153825 54 | 1.463 % |
127.23/127.30 c | 165462 | 18525 112018 406224 | 2147483647 154339 54 | 1.463 % |
128.83/128.88 c | 166486 | 18525 112018 406224 | 2147483647 155363 53 | 1.463 % |
131.33/131.39 c | 168534 | 18525 112018 406224 | 2147483647 157411 53 | 1.463 % |
136.93/137.01 c | 172630 | 18525 112018 406224 | 158877 161507 53 | 1.463 % |
148.23/148.21 c | 180823 | 18525 112018 406224 | 2147483647 144065 51 | 1.463 % |
169.03/169.05 c | 197207 | 18525 112018 406224 | 2147483647 160449 54 | 1.463 % |
206.03/206.10 c | 229975 | 18525 112018 406224 | 102497 86859 65 | 1.463 % |
206.84/206.88 c | 230487 | 18525 112018 406224 | 86885 87371 65 | 1.463 % |
207.33/207.33 c | 231000 | 18525 112018 406224 | 86885 64886 74 | 1.463 % |
207.63/207.66 c | 232025 | 18525 112018 406224 | 86885 65911 74 | 1.463 % |
207.83/207.88 c | 232537 | 18525 112018 406224 | 86885 66423 73 | 1.463 % |
208.53/208.52 c | 233049 | 18525 112018 406224 | 86885 66935 73 | 1.463 % |
210.33/210.36 c | 234073 | 18525 112018 406224 | 86885 67959 73 | 1.463 % |
212.64/212.68 c | 236121 | 18525 112018 406224 | 86885 70007 72 | 1.463 % |
213.24/213.25 c | 236635 | 18525 112018 406224 | 86885 70521 72 | 1.463 % |
213.84/213.89 c | 237149 | 18525 112018 406224 | 86885 71035 72 | 1.463 % |
214.84/214.86 c | 238174 | 18525 112018 406224 | 86885 72060 71 | 1.463 % |
215.54/215.57 c | 238687 | 18525 112018 406224 | 86885 72573 71 | 1.463 % |
216.14/216.18 c | 239199 | 18525 112018 406224 | 86885 73085 71 | 1.463 % |
217.04/217.07 c | 240224 | 18525 112018 406224 | 73887 74110 70 | 1.463 % |
219.24/219.31 c | 242272 | 18525 112018 406224 | 73887 76158 69 | 1.463 % |
222.04/222.08 c | 246368 | 18525 112018 406224 | 73887 69684 67 | 1.463 % |
222.74/222.79 c | 246881 | 18525 112018 406224 | 73887 70197 68 | 1.463 % |
223.54/223.57 c | 247394 | 18525 112018 406224 | 73887 70710 67 | 1.463 % |
224.74/224.81 c | 248419 | 18525 112018 406224 | 73887 71735 67 | 1.463 % |
225.44/225.48 c | 248933 | 18525 112018 406224 | 73887 72249 67 | 1.463 % |
226.24/226.25 c | 249448 | 18525 112018 406224 | 73887 72764 66 | 1.463 % |
227.44/227.51 c | 250472 | 18525 112018 406224 | 2147483647 73788 66 | 1.463 % |
229.34/229.33 c | 252520 | 18525 112018 406224 | 2147483647 75836 65 | 1.463 % |
230.04/230.10 c | 253034 | 18525 112018 406224 | 2147483647 76350 65 | 1.463 % |
231.04/231.07 c | 253546 | 18525 112018 406224 | 2147483647 76862 65 | 1.463 % |
232.14/232.21 c | 254570 | 18525 112018 406224 | 2147483647 77886 65 | 1.463 % |
233.04/233.06 c | 255085 | 18525 112018 406224 | 2147483647 78401 65 | 1.463 % |
233.64/233.64 c | 255598 | 18525 112018 406224 | 2147483647 78914 65 | 1.463 % |
234.14/234.20 c | 256622 | 18525 112018 406224 | 2147483647 79938 65 | 1.463 % |
235.24/235.23 c | 258670 | 18525 112018 406224 | 2147483647 81986 64 | 1.463 % |
240.84/240.83 c | 262768 | 18525 112018 406224 | 2147483647 86084 68 | 1.463 % |
254.14/254.18 c | 270960 | 18525 112018 406224 | 93318 94276 69 | 1.463 % |
255.24/255.24 c | 271474 | 18525 112018 406224 | 93318 73556 61 | 1.463 % |
256.24/256.30 c | 271987 | 18525 112018 406224 | 93318 74069 61 | 1.463 % |
257.64/257.62 c | 273012 | 18525 112018 406224 | 93318 75094 61 | 1.463 % |
257.84/257.84 c | 273525 | 18525 112018 406224 | 93318 75607 61 | 1.463 % |
258.04/258.03 c | 274037 | 18525 112018 406224 | 93318 76119 61 | 1.463 % |
259.64/259.65 c | 275061 | 18525 112018 406224 | 93318 77143 61 | 1.463 % |
261.34/261.40 c | 277112 | 18525 112018 406224 | 93318 79194 61 | 1.463 % |
262.34/262.41 c | 277628 | 18525 112018 406224 | 93318 79710 61 | 1.463 % |
263.14/263.19 c | 278140 | 18525 112018 406224 | 93318 80222 61 | 1.463 % |
264.54/264.59 c | 279165 | 18525 112018 406224 | 93318 81247 61 | 1.463 % |
264.94/264.96 c | 279677 | 18525 112018 406224 | 93318 81759 61 | 1.463 % |
265.34/265.37 c | 280189 | 18525 112018 406224 | 82082 82271 61 | 1.463 % |
265.84/265.82 c | 281215 | 18525 112018 406224 | 82082 83297 61 | 1.463 % |
269.24/269.24 c | 283264 | 18525 112018 406224 | 82082 69430 53 | 1.463 % |
272.54/272.55 c | 287360 | 18525 112018 406224 | 82082 73526 53 | 1.463 % |
273.24/273.30 c | 287873 | 18525 112018 406224 | 82082 74039 53 | 1.463 % |
273.44/273.49 c | 288385 | 18525 112018 406224 | 82082 74551 53 | 1.463 % |
273.84/273.85 c | 289409 | 18525 112018 406224 | 82082 75575 53 | 1.463 % |
274.74/274.79 c | 289923 | 18525 112018 406224 | 82082 76089 52 | 1.463 % |
275.64/275.65 c | 290435 | 18525 112018 406224 | 76166 76601 52 | 1.463 % |
277.04/277.02 c | 291461 | 18525 112018 406224 | 76166 66525 52 | 1.463 % |
278.24/278.28 c | 293510 | 18525 112018 406224 | 76166 68574 52 | 1.463 % |
279.04/279.06 c | 294023 | 18525 112018 406224 | 76166 69087 52 | 1.463 % |
279.24/279.30 c | 294536 | 18525 112018 406224 | 76166 69600 52 | 1.463 % |
280.64/280.64 c | 295563 | 18525 112018 406224 | 76166 70627 53 | 1.463 % |
280.84/280.87 c | 296075 | 18525 112018 406224 | 76166 71139 53 | 1.463 % |
281.54/281.56 c | 296587 | 18525 112018 406224 | 76166 71651 53 | 1.463 % |
281.74/281.81 c | 297612 | 18525 112018 406224 | 76166 72676 52 | 1.463 % |
284.84/284.83 c | 299661 | 18525 112018 406224 | 76166 74725 52 | 1.463 % |
290.45/290.48 c | 303758 | 18525 112018 406224 | 2147483647 78822 52 | 1.463 % |
298.44/298.48 c | 311951 | 18525 112018 406224 | 85064 87015 51 | 1.463 % |
312.45/312.50 c | 328335 | 18525 112018 406224 | 2147483647 90158 54 | 1.463 % |
313.34/313.33 c | 328847 | 18525 112018 406224 | 2147483647 90670 54 | 1.463 % |
314.24/314.23 c | 329359 | 18525 112018 406224 | 2147483647 91182 53 | 1.463 % |
316.04/316.10 c | 330385 | 18525 112018 406224 | 2147483647 92208 53 | 1.463 % |
317.04/317.01 c | 330897 | 18525 112018 406224 | 2147483647 92720 53 | 1.463 % |
317.84/317.89 c | 331409 | 18525 112018 406224 | 2147483647 93232 53 | 1.463 % |
318.44/318.46 c | 332433 | 18525 112018 406224 | 2147483647 94256 53 | 1.463 % |
321.04/321.03 c | 334481 | 18525 112018 406224 | 2147483647 96304 53 | 1.463 % |
321.64/321.65 c | 334993 | 18525 112018 406224 | 2147483647 96816 53 | 1.463 % |
322.14/322.21 c | 335505 | 18525 112018 406224 | 2147483647 97328 53 | 1.463 % |
323.45/323.46 c | 336530 | 18525 112018 406224 | 2147483647 98353 54 | 1.463 % |
324.04/324.07 c | 337042 | 18525 112018 406224 | 2147483647 98865 54 | 1.463 % |
324.24/324.26 c | 337557 | 18525 112018 406224 | 2147483647 99380 54 | 1.463 % |
326.44/326.42 c | 338582 | 18525 112018 406224 | 2147483647 100405 54 | 1.463 % |
330.14/330.14 c | 340631 | 18525 112018 406224 | 101823 102454 54 | 1.463 % |
335.64/335.67 c | 344728 | 18525 112018 406224 | 101823 90820 47 | 1.463 % |
336.04/336.06 c | 345240 | 18525 112018 406224 | 101823 91332 47 | 1.463 % |
336.95/336.93 c | 345754 | 18525 112018 406224 | 101823 91846 47 | 1.463 % |
338.75/338.81 c | 346778 | 18525 112018 406224 | 101823 92870 46 | 1.463 % |
339.65/339.66 c | 347294 | 18525 112018 406224 | 101823 93386 46 | 1.463 % |
340.55/340.55 c | 347806 | 18525 112018 406224 | 101823 93898 46 | 1.463 % |
342.05/342.11 c | 348830 | 18525 112018 406224 | 101823 94922 46 | 1.463 % |
343.35/343.37 c | 350881 | 18525 112018 406224 | 96092 96973 46 | 1.463 % |
343.75/343.82 c | 351395 | 18525 112018 406224 | 96092 87790 45 | 1.463 % |
344.15/344.13 c | 351907 | 18525 112018 406224 | 96092 88302 45 | 1.463 % |
345.35/345.39 c | 352932 | 18525 112018 406224 | 96092 89327 46 | 1.463 % |
345.75/345.77 c | 353444 | 18525 112018 406224 | 96092 89839 46 | 1.463 % |
346.05/346.10 c | 353956 | 18525 112018 406224 | 96092 90351 46 | 1.463 % |
346.75/346.76 c | 354981 | 18525 112018 406224 | 96092 91376 46 | 1.463 % |
348.35/348.38 c | 357029 | 18525 112018 406224 | 96092 93424 46 | 1.463 % |
351.55/351.53 c | 361126 | 18525 112018 406224 | 2147483647 97521 46 | 1.463 % |
358.45/358.49 c | 369318 | 18525 112018 406224 | 2147483647 105713 46 | 1.463 % |
359.05/359.06 c | 369832 | 18525 112018 406224 | 2147483647 106227 46 | 1.463 % |
359.55/359.54 c | 370345 | 18525 112018 406224 | 2147483647 106740 46 | 1.463 % |
360.35/360.35 c | 371369 | 18525 112018 406224 | 2147483647 107764 46 | 1.463 % |
360.85/360.87 c | 371881 | 18525 112018 406224 | 2147483647 108276 46 | 1.463 % |
361.35/361.35 c | 372393 | 18525 112018 406224 | 2147483647 108788 46 | 1.463 % |
362.25/362.28 c | 373420 | 18525 112018 406224 | 2147483647 109815 46 | 1.463 % |
364.05/364.11 c | 375469 | 18525 112018 406224 | 2147483647 111864 46 | 1.463 % |
364.55/364.60 c | 375982 | 18525 112018 406224 | 2147483647 112377 46 | 1.463 % |
365.05/365.06 c | 376498 | 18525 112018 406224 | 2147483647 112893 46 | 1.463 % |
366.05/366.11 c | 377524 | 18525 112018 406224 | 2147483647 113919 46 | 1.463 % |
366.55/366.55 c | 378036 | 18525 112018 406224 | 2147483647 114431 46 | 1.463 % |
367.05/367.03 c | 378549 | 18525 112018 406224 | 2147483647 114944 46 | 1.463 % |
368.25/368.27 c | 379575 | 18525 112018 406224 | 2147483647 115970 46 | 1.463 % |
370.55/370.59 c | 381624 | 18525 112018 406224 | 2147483647 118019 46 | 1.463 % |
375.35/375.39 c | 385721 | 18525 112018 406224 | 2147483647 122116 46 | 1.463 % |
376.05/376.06 c | 386236 | 18525 112018 406224 | 2147483647 122631 46 | 1.463 % |
376.55/376.57 c | 386748 | 18525 112018 406224 | 2147483647 123143 46 | 1.463 % |
377.45/377.45 c | 387772 | 18525 112018 406224 | 2147483647 124167 46 | 1.463 % |
377.95/377.96 c | 388284 | 18525 112018 406224 | 2147483647 124679 46 | 1.463 % |
378.55/378.56 c | 388796 | 18525 112018 406224 | 2147483647 125191 46 | 1.463 % |
379.65/379.66 c | 389821 | 18525 112018 406224 | 2147483647 126216 46 | 1.463 % |
381.85/381.89 c | 391869 | 18525 112018 406224 | 2147483647 128264 46 | 1.463 % |
382.55/382.61 c | 392387 | 18525 112018 406224 | 2147483647 128782 46 | 1.463 % |
383.15/383.20 c | 392899 | 18525 112018 406224 | 2147483647 129294 46 | 1.463 % |
384.55/384.59 c | 393923 | 18525 112018 406224 | 2147483647 130318 46 | 1.463 % |
385.15/385.21 c | 394436 | 18525 112018 406224 | 2147483647 130831 46 | 1.463 % |
385.75/385.77 c | 394948 | 18525 112018 406224 | 2147483647 131343 46 | 1.463 % |
387.25/387.24 c | 395972 | 18525 112018 406224 | 2147483647 132367 46 | 1.463 % |
389.75/389.81 c | 398020 | 18525 112018 406224 | 2147483647 134415 46 | 1.463 % |
398.35/398.33 c | 402116 | 18525 112018 406224 | 2147483647 138511 46 | 1.463 % |
409.95/409.96 c | 410308 | 18525 112018 406224 | 146395 146703 46 | 1.463 % |
430.35/430.40 c | 426692 | 18525 112018 406224 | 134241 140933 47 | 1.463 % |
470.95/470.92 c | 459460 | 18525 112018 406224 | 94943 94415 51 | 1.463 % |
566.25/566.23 c | 524998 | 18525 112018 406224 | 73681 59850 72 | 1.463 % |
566.56/566.56 c | 525511 | 18525 112018 406224 | 73681 60363 72 | 1.463 % |
566.85/566.82 c | 526024 | 18525 112018 406224 | 73681 60876 71 | 1.463 % |
567.55/567.52 c | 527049 | 18525 112018 406224 | 73681 61901 71 | 1.463 % |
567.75/567.80 c | 527561 | 18525 112018 406224 | 73681 62413 71 | 1.463 % |
568.15/568.12 c | 528074 | 18525 112018 406224 | 73681 62926 71 | 1.463 % |
568.65/568.66 c | 529099 | 18525 112018 406224 | 73681 63951 70 | 1.463 % |
569.95/569.91 c | 531150 | 18525 112018 406224 | 64853 66002 69 | 1.463 % |
570.35/570.31 c | 531662 | 18525 112018 406224 | 64853 59914 64 | 1.463 % |
570.55/570.59 c | 532174 | 18525 112018 406224 | 64853 60426 64 | 1.463 % |
571.35/571.38 c | 533198 | 18525 112018 406224 | 64853 61450 64 | 1.463 % |
571.65/571.66 c | 533710 | 18525 112018 406224 | 64853 61962 63 | 1.463 % |
572.06/572.06 c | 534222 | 18525 112018 406224 | 64853 62474 63 | 1.463 % |
572.85/572.82 c | 535247 | 18525 112018 406224 | 64853 63499 63 | 1.463 % |
574.15/574.18 c | 537297 | 18525 112018 406224 | 64853 65549 62 | 1.463 % |
578.35/578.36 c | 541394 | 18525 112018 406224 | 2147483647 63092 61 | 1.463 % |
578.85/578.81 c | 541906 | 18525 112018 406224 | 2147483647 63604 61 | 1.463 % |
579.15/579.20 c | 542420 | 18525 112018 406224 | 2147483647 64118 61 | 1.463 % |
580.15/580.15 c | 543445 | 18525 112018 406224 | 2147483647 65143 61 | 1.463 % |
580.55/580.52 c | 543958 | 18525 112018 406224 | 2147483647 65656 60 | 1.463 % |
580.86/580.85 c | 544471 | 18525 112018 406224 | 2147483647 66169 60 | 1.463 % |
581.75/581.78 c | 545497 | 18525 112018 406224 | 2147483647 67195 60 | 1.463 % |
583.25/583.23 c | 547545 | 18525 112018 406224 | 2147483647 69243 60 | 1.463 % |
583.65/583.68 c | 548057 | 18525 112018 406224 | 2147483647 69755 60 | 1.463 % |
584.05/584.07 c | 548570 | 18525 112018 406224 | 2147483647 70268 60 | 1.463 % |
584.85/584.85 c | 549597 | 18525 112018 406224 | 2147483647 71295 59 | 1.463 % |
585.26/585.30 c | 550110 | 18525 112018 406224 | 2147483647 71808 59 | 1.463 % |
585.95/585.93 c | 550623 | 18525 112018 406224 | 2147483647 72321 60 | 1.463 % |
587.06/587.02 c | 551647 | 18525 112018 406224 | 2147483647 73345 59 | 1.463 % |
589.06/589.03 c | 553696 | 18525 112018 406224 | 2147483647 75394 59 | 1.463 % |
593.36/593.33 c | 557792 | 18525 112018 406224 | 2147483647 79490 60 | 1.463 % |
599.76/599.75 c | 565985 | 18525 112018 406224 | 2147483647 87683 59 | 1.463 % |
600.06/600.11 c | 566499 | 18525 112018 406224 | 2147483647 88197 59 | 1.463 % |
600.56/600.60 c | 567011 | 18525 112018 406224 | 2147483647 88709 59 | 1.463 % |
601.46/601.46 c | 568036 | 18525 112018 406224 | 2147483647 89734 59 | 1.463 % |
601.76/601.76 c | 568551 | 18525 112018 406224 | 2147483647 90249 59 | 1.463 % |
602.26/602.29 c | 569064 | 18525 112018 406224 | 2147483647 90762 59 | 1.463 % |
602.86/602.84 c | 570088 | 18525 112018 406224 | 2147483647 91786 59 | 1.463 % |
604.86/604.90 c | 572136 | 18525 112018 406224 | 2147483647 93834 59 | 1.463 % |
605.46/605.46 c | 572650 | 18525 112018 406224 | 2147483647 94348 59 | 1.463 % |
605.86/605.82 c | 573162 | 18525 112018 406224 | 2147483647 94860 59 | 1.463 % |
607.06/607.06 c | 574187 | 18525 112018 406224 | 2147483647 95885 59 | 1.463 % |
607.56/607.57 c | 574700 | 18525 112018 406224 | 2147483647 96398 59 | 1.463 % |
608.36/608.41 c | 575212 | 18525 112018 406224 | 2147483647 96910 59 | 1.463 % |
609.76/609.73 c | 576238 | 18525 112018 406224 | 2147483647 97936 58 | 1.463 % |
610.86/610.89 c | 578286 | 18525 112018 406224 | 2147483647 99984 58 | 1.463 % |
616.36/616.33 c | 582383 | 18525 112018 406224 | 2147483647 104081 59 | 1.463 % |
617.06/617.06 c | 582895 | 18525 112018 406224 | 2147483647 104593 59 | 1.463 % |
617.86/617.84 c | 583407 | 18525 112018 406224 | 2147483647 105105 59 | 1.463 % |
618.76/618.77 c | 584432 | 18525 112018 406224 | 2147483647 106130 59 | 1.463 % |
619.86/619.84 c | 584945 | 18525 112018 406224 | 2147483647 106643 59 | 1.463 % |
620.56/620.53 c | 585457 | 18525 112018 406224 | 2147483647 107155 59 | 1.463 % |
621.76/621.75 c | 586481 | 18525 112018 406224 | 2147483647 108179 59 | 1.463 % |
623.16/623.14 c | 588531 | 18525 112018 406224 | 2147483647 110229 59 | 1.463 % |
623.86/623.88 c | 589043 | 18525 112018 406224 | 2147483647 110741 59 | 1.463 % |
623.96/623.99 c | 589555 | 18525 112018 406224 | 2147483647 111253 59 | 1.463 % |
625.86/625.89 c | 590582 | 18525 112018 406224 | 111698 112280 59 | 1.463 % |
626.86/626.92 c | 591094 | 18525 112018 406224 | 111698 97138 53 | 1.463 % |
627.56/627.58 c | 591608 | 18525 112018 406224 | 111698 97652 53 | 1.463 % |
628.56/628.51 c | 592633 | 18525 112018 406224 | 111698 98677 53 | 1.463 % |
630.96/630.95 c | 594682 | 18525 112018 406224 | 111698 100726 54 | 1.463 % |
634.36/634.39 c | 598779 | 18525 112018 406224 | 111698 104823 55 | 1.463 % |
642.86/642.85 c | 606971 | 18525 112018 406224 | 2147483647 113015 55 | 1.463 % |
661.17/661.14 c | 623359 | 18525 112018 406224 | 2147483647 129403 53 | 1.463 % |
661.86/661.86 c | 623872 | 18525 112018 406224 | 2147483647 129916 53 | 1.463 % |
662.56/662.57 c | 624384 | 18525 112018 406224 | 2147483647 130428 53 | 1.463 % |
663.56/663.56 c | 625408 | 18525 112018 406224 | 2147483647 131452 53 | 1.463 % |
663.76/663.81 c | 625921 | 18525 112018 406224 | 2147483647 131965 53 | 1.463 % |
664.36/664.32 c | 626433 | 18525 112018 406224 | 2147483647 132477 53 | 1.463 % |
665.36/665.39 c | 627458 | 18525 112018 406224 | 2147483647 133502 53 | 1.463 % |
668.46/668.51 c | 629507 | 18525 112018 406224 | 2147483647 135551 52 | 1.463 % |
669.26/669.25 c | 630023 | 18525 112018 406224 | 2147483647 136067 52 | 1.463 % |
669.86/669.91 c | 630536 | 18525 112018 406224 | 2147483647 136580 52 | 1.463 % |
671.26/671.27 c | 631560 | 18525 112018 406224 | 2147483647 137604 52 | 1.463 % |
671.96/672.01 c | 632072 | 18525 112018 406224 | 2147483647 138116 52 | 1.463 % |
672.66/672.66 c | 632584 | 18525 112018 406224 | 2147483647 138628 52 | 1.463 % |
673.96/674.00 c | 633610 | 18525 112018 406224 | 2147483647 139654 52 | 1.463 % |
676.86/676.86 c | 635659 | 18525 112018 406224 | 2147483647 141703 52 | 1.463 % |
681.66/681.65 c | 639755 | 18525 112018 406224 | 2147483647 145799 52 | 1.463 % |
681.96/681.96 c | 640269 | 18525 112018 406224 | 146045 146313 52 | 1.463 % |
682.76/682.80 c | 640787 | 18525 112018 406224 | 146045 146831 52 | 1.463 % |
684.06/684.07 c | 641811 | 18525 112018 406224 | 146045 126243 49 | 1.463 % |
684.86/684.83 c | 642323 | 18525 112018 406224 | 146045 126755 49 | 1.463 % |
685.66/685.62 c | 642837 | 18525 112018 406224 | 146045 127269 49 | 1.463 % |
686.56/686.55 c | 643861 | 18525 112018 406224 | 146045 128293 49 | 1.463 % |
688.46/688.51 c | 645909 | 18525 112018 406224 | 146045 130341 48 | 1.463 % |
689.46/689.44 c | 646423 | 18525 112018 406224 | 146045 130855 49 | 1.463 % |
690.26/690.26 c | 646937 | 18525 112018 406224 | 146045 131369 49 | 1.463 % |
691.46/691.41 c | 647961 | 18525 112018 406224 | 146045 132393 49 | 1.463 % |
692.06/692.03 c | 648473 | 18525 112018 406224 | 146045 132905 49 | 1.463 % |
692.66/692.65 c | 648985 | 18525 112018 406224 | 146045 133417 49 | 1.463 % |
693.76/693.77 c | 650010 | 18525 112018 406224 | 134432 134442 48 | 1.463 % |
695.56/695.56 c | 652058 | 18525 112018 406224 | 134432 136490 48 | 1.463 % |
700.86/700.82 c | 656155 | 18525 112018 406224 | 134432 126938 49 | 1.463 % |
709.36/709.39 c | 664350 | 18525 112018 406224 | 2147483647 135133 49 | 1.463 % |
709.86/709.88 c | 664862 | 18525 112018 406224 | 2147483647 135645 49 | 1.463 % |
710.86/710.82 c | 665374 | 18525 112018 406224 | 2147483647 136157 49 | 1.463 % |
712.66/712.65 c | 666402 | 18525 112018 406224 | 2147483647 137185 49 | 1.463 % |
713.47/713.45 c | 666915 | 18525 112018 406224 | 2147483647 137698 50 | 1.463 % |
714.27/714.25 c | 667428 | 18525 112018 406224 | 2147483647 138211 50 | 1.463 % |
715.37/715.35 c | 668452 | 18525 112018 406224 | 2147483647 139235 50 | 1.463 % |
717.57/717.59 c | 670500 | 18525 112018 406224 | 2147483647 141283 50 | 1.463 % |
718.17/718.13 c | 671012 | 18525 112018 406224 | 2147483647 141795 49 | 1.463 % |
718.67/718.70 c | 671526 | 18525 112018 406224 | 2147483647 142309 49 | 1.463 % |
719.27/719.30 c | 672550 | 18525 112018 406224 | 2147483647 143333 49 | 1.463 % |
720.17/720.19 c | 673062 | 18525 112018 406224 | 2147483647 143845 49 | 1.463 % |
720.47/720.49 c | 673574 | 18525 112018 406224 | 2147483647 144357 49 | 1.463 % |
721.57/721.61 c | 674598 | 18525 112018 406224 | 2147483647 145381 50 | 1.463 % |
724.07/724.05 c | 676646 | 18525 112018 406224 | 2147483647 147429 50 | 1.463 % |
729.27/729.30 c | 680742 | 18525 112018 406224 | 2147483647 151525 49 | 1.463 % |
729.87/729.91 c | 681254 | 18525 112018 406224 | 2147483647 152037 49 | 1.463 % |
730.57/730.60 c | 681766 | 18525 112018 406224 | 2147483647 152549 49 | 1.463 % |
731.97/731.98 c | 682790 | 18525 112018 406224 | 2147483647 153573 49 | 1.463 % |
732.57/732.58 c | 683303 | 18525 112018 406224 | 2147483647 154086 49 | 1.463 % |
733.27/733.22 c | 683815 | 18525 112018 406224 | 2147483647 154598 49 | 1.463 % |
734.57/734.54 c | 684841 | 18525 112018 406224 | 2147483647 155624 49 | 1.463 % |
738.07/738.03 c | 686889 | 18525 112018 406224 | 2147483647 157672 49 | 1.463 % |
738.77/738.77 c | 687403 | 18525 112018 406224 | 2147483647 158186 49 | 1.463 % |
739.17/739.20 c | 687915 | 18525 112018 406224 | 2147483647 158698 49 | 1.463 % |
741.07/741.02 c | 688941 | 18525 112018 406224 | 2147483647 159724 49 | 1.463 % |
741.77/741.78 c | 689454 | 18525 112018 406224 | 2147483647 160237 49 | 1.463 % |
742.27/742.24 c | 689968 | 18525 112018 406224 | 2147483647 160751 49 | 1.463 % |
743.47/743.50 c | 690998 | 18525 112018 406224 | 2147483647 161781 49 | 1.463 % |
745.77/745.75 c | 693046 | 18525 112018 406224 | 2147483647 163829 49 | 1.463 % |
750.97/750.98 c | 697145 | 18525 112018 406224 | 2147483647 167928 49 | 1.463 % |
763.47/763.44 c | 705337 | 18525 112018 406224 | 2147483647 176120 49 | 1.463 % |
791.37/791.32 c | 721721 | 18525 112018 406224 | 126109 127830 47 | 1.463 % |
832.96/832.92 c | 754490 | 18525 112018 406224 | 2147483647 96389 45 | 1.463 % |
833.56/833.54 c | 755002 | 18525 112018 406224 | 2147483647 96901 45 | 1.463 % |
834.16/834.17 c | 755515 | 18525 112018 406224 | 2147483647 97414 45 | 1.463 % |
835.26/835.27 c | 756539 | 18525 112018 406224 | 2147483647 98438 45 | 1.463 % |
835.96/835.96 c | 757051 | 18525 112018 406224 | 2147483647 98950 46 | 1.463 % |
836.46/836.48 c | 757563 | 18525 112018 406224 | 2147483647 99462 46 | 1.463 % |
837.86/837.90 c | 758589 | 18525 112018 406224 | 2147483647 100488 46 | 1.463 % |
839.77/839.74 c | 760637 | 18525 112018 406224 | 2147483647 102536 46 | 1.463 % |
840.27/840.27 c | 761151 | 18525 112018 406224 | 2147483647 103050 46 | 1.463 % |
840.97/840.95 c | 761666 | 18525 112018 406224 | 2147483647 103565 46 | 1.463 % |
841.87/841.83 c | 762691 | 18525 112018 406224 | 2147483647 104590 46 | 1.463 % |
842.37/842.41 c | 763206 | 18525 112018 406224 | 2147483647 105105 46 | 1.463 % |
843.07/843.07 c | 763718 | 18525 112018 406224 | 2147483647 105617 46 | 1.463 % |
843.77/843.81 c | 764742 | 18525 112018 406224 | 2147483647 106641 46 | 1.463 % |
846.07/846.02 c | 766790 | 18525 112018 406224 | 2147483647 108689 46 | 1.463 % |
851.07/851.02 c | 770887 | 18525 112018 406224 | 2147483647 112786 46 | 1.463 % |
851.57/851.56 c | 771399 | 18525 112018 406224 | 2147483647 113298 46 | 1.463 % |
851.97/852.01 c | 771912 | 18525 112018 406224 | 2147483647 113811 46 | 1.463 % |
853.07/853.09 c | 772936 | 18525 112018 406224 | 2147483647 114835 46 | 1.463 % |
853.67/853.62 c | 773448 | 18525 112018 406224 | 2147483647 115347 46 | 1.463 % |
854.37/854.31 c | 773960 | 18525 112018 406224 | 2147483647 115859 46 | 1.463 % |
855.47/855.44 c | 774984 | 18525 112018 406224 | 2147483647 116883 46 | 1.463 % |
857.87/857.88 c | 777034 | 18525 112018 406224 | 2147483647 118933 46 | 1.463 % |
858.47/858.45 c | 777547 | 18525 112018 406224 | 2147483647 119446 46 | 1.463 % |
858.87/858.91 c | 778060 | 18525 112018 406224 | 2147483647 119959 46 | 1.463 % |
859.77/859.78 c | 779087 | 18525 112018 406224 | 2147483647 120986 46 | 1.463 % |
860.27/860.28 c | 779599 | 18525 112018 406224 | 2147483647 121498 46 | 1.463 % |
860.77/860.73 c | 780111 | 18525 112018 406224 | 2147483647 122010 46 | 1.463 % |
861.57/861.58 c | 781135 | 18525 112018 406224 | 2147483647 123034 46 | 1.463 % |
863.47/863.46 c | 783183 | 18525 112018 406224 | 2147483647 125082 46 | 1.463 % |
867.37/867.34 c | 787279 | 18525 112018 406224 | 2147483647 129178 45 | 1.463 % |
874.97/875.00 c | 795471 | 18525 112018 406224 | 2147483647 137370 47 | 1.463 % |
875.57/875.53 c | 795983 | 18525 112018 406224 | 2147483647 137882 47 | 1.463 % |
876.07/876.09 c | 796495 | 18525 112018 406224 | 2147483647 138394 47 | 1.463 % |
877.17/877.13 c | 797519 | 18525 112018 406224 | 2147483647 139418 47 | 1.463 % |
877.67/877.62 c | 798031 | 18525 112018 406224 | 2147483647 139930 47 | 1.463 % |
878.77/878.74 c | 798543 | 18525 112018 406224 | 2147483647 140442 47 | 1.463 % |
879.67/879.69 c | 799569 | 18525 112018 406224 | 2147483647 141468 47 | 1.463 % |
881.67/881.65 c | 801618 | 18525 112018 406224 | 2147483647 143517 47 | 1.463 % |
882.57/882.58 c | 802130 | 18525 112018 406224 | 2147483647 144029 47 | 1.463 % |
883.27/883.25 c | 802642 | 18525 112018 406224 | 2147483647 144541 47 | 1.463 % |
884.47/884.50 c | 803666 | 18525 112018 406224 | 2147483647 145565 48 | 1.463 % |
885.07/885.06 c | 804179 | 18525 112018 406224 | 2147483647 146078 47 | 1.463 % |
885.67/885.67 c | 804693 | 18525 112018 406224 | 2147483647 146592 47 | 1.463 % |
886.97/886.93 c | 805720 | 18525 112018 406224 | 2147483647 147619 47 | 1.463 % |
889.87/889.84 c | 807768 | 18525 112018 406224 | 2147483647 149667 47 | 1.463 % |
896.37/896.39 c | 811864 | 18525 112018 406224 | 2147483647 153763 47 | 1.463 % |
897.07/897.05 c | 812376 | 18525 112018 406224 | 2147483647 154275 47 | 1.463 % |
897.77/897.73 c | 812890 | 18525 112018 406224 | 2147483647 154789 47 | 1.463 % |
899.07/899.06 c | 813917 | 18525 112018 406224 | 2147483647 155816 47 | 1.463 % |
899.77/899.79 c | 814429 | 18525 112018 406224 | 2147483647 156328 47 | 1.463 % |
900.67/900.61 c | 814944 | 18525 112018 406224 | 2147483647 156843 47 | 1.463 % |
902.57/902.57 c | 815971 | 18525 112018 406224 | 2147483647 157870 47 | 1.463 % |
906.07/906.08 c | 818019 | 18525 112018 406224 | 2147483647 159918 47 | 1.463 % |
907.07/907.10 c | 818534 | 18525 112018 406224 | 2147483647 160433 47 | 1.463 % |
908.07/908.05 c | 819046 | 18525 112018 406224 | 2147483647 160945 47 | 1.463 % |
910.27/910.23 c | 820070 | 18525 112018 406224 | 2147483647 161969 47 | 1.463 % |
911.17/911.18 c | 820584 | 18525 112018 406224 | 2147483647 162483 47 | 1.463 % |
912.17/912.15 c | 821096 | 18525 112018 406224 | 2147483647 162995 47 | 1.463 % |
914.27/914.27 c | 822120 | 18525 112018 406224 | 2147483647 164019 47 | 1.463 % |
917.67/917.61 c | 824171 | 18525 112018 406224 | 2147483647 166070 48 | 1.463 % |
922.87/922.85 c | 828268 | 18525 112018 406224 | 2147483647 170167 47 | 1.463 % |
937.37/937.32 c | 836460 | 18525 112018 406224 | 2147483647 178359 47 | 1.463 % |
969.48/969.47 c | 852844 | 18525 112018 406224 | 169081 152861 44 | 1.463 % |
970.38/970.35 c | 853357 | 18525 112018 406224 | 169081 153374 44 | 1.463 % |
971.38/971.33 c | 853869 | 18525 112018 406224 | 169081 153886 44 | 1.463 % |
972.98/972.94 c | 854893 | 18525 112018 406224 | 169081 154910 44 | 1.463 % |
973.48/973.44 c | 855406 | 18525 112018 406224 | 169081 155423 44 | 1.463 % |
974.18/974.12 c | 855918 | 18525 112018 406224 | 169081 155935 44 | 1.463 % |
975.08/975.02 c | 856942 | 18525 112018 406224 | 169081 156959 44 | 1.463 % |
977.18/977.12 c | 858990 | 18525 112018 406224 | 169081 159007 44 | 1.463 % |
977.68/977.68 c | 859503 | 18525 112018 406224 | 169081 159520 44 | 1.463 % |
978.48/978.44 c | 860016 | 18525 112018 406224 | 160017 160033 44 | 1.463 % |
980.48/980.43 c | 861042 | 18525 112018 406224 | 160017 161059 44 | 1.463 % |
981.58/981.56 c | 861554 | 18525 112018 406224 | 160017 145466 43 | 1.463 % |
982.28/982.31 c | 862066 | 18525 112018 406224 | 160017 145978 43 | 1.463 % |
983.88/983.89 c | 863090 | 18525 112018 406224 | 160017 147002 44 | 1.463 % |
986.78/986.75 c | 865138 | 18525 112018 406224 | 160017 149050 44 | 1.463 % |
993.98/993.92 c | 869237 | 18525 112018 406224 | 160017 153149 44 | 1.463 % |
994.58/994.58 c | 869749 | 18525 112018 406224 | 160017 153661 44 | 1.463 % |
995.18/995.19 c | 870261 | 18525 112018 406224 | 2147483647 154173 44 | 1.463 % |
996.68/996.67 c | 871286 | 18525 112018 406224 | 2147483647 155198 44 | 1.463 % |
997.48/997.44 c | 871800 | 18525 112018 406224 | 2147483647 155712 44 | 1.463 % |
998.08/998.08 c | 872313 | 18525 112018 406224 | 2147483647 156225 44 | 1.463 % |
999.88/999.90 c | 873339 | 18525 112018 406224 | 2147483647 157251 44 | 1.463 % |
1002.98/1002.91 c | 875387 | 18525 112018 406224 | 2147483647 159299 44 | 1.463 % |
1003.78/1003.72 c | 875899 | 18525 112018 406224 | 2147483647 159811 44 | 1.463 % |
1004.48/1004.42 c | 876412 | 18525 112018 406224 | 2147483647 160324 44 | 1.463 % |
1005.68/1005.70 c | 877436 | 18525 112018 406224 | 2147483647 161348 44 | 1.463 % |
1006.58/1006.55 c | 877949 | 18525 112018 406224 | 2147483647 161861 44 | 1.463 % |
1007.28/1007.22 c | 878461 | 18525 112018 406224 | 2147483647 162373 44 | 1.463 % |
1008.38/1008.35 c | 879488 | 18525 112018 406224 | 2147483647 163400 44 | 1.463 % |
1011.88/1011.91 c | 881536 | 18525 112018 406224 | 2147483647 165448 44 | 1.463 % |
1017.58/1017.57 c | 885632 | 18525 112018 406224 | 2147483647 169544 44 | 1.463 % |
1032.08/1032.10 c | 893826 | 18525 112018 406224 | 2147483647 177738 44 | 1.463 % |
1033.28/1033.24 c | 894338 | 18525 112018 406224 | 2147483647 178250 44 | 1.463 % |
1033.98/1033.99 c | 894851 | 18525 112018 406224 | 2147483647 178763 44 | 1.463 % |
1035.88/1035.88 c | 895875 | 18525 112018 406224 | 2147483647 179787 44 | 1.463 % |
1036.98/1036.98 c | 896388 | 18525 112018 406224 | 2147483647 180300 44 | 1.463 % |
1038.08/1038.04 c | 896900 | 18525 112018 406224 | 2147483647 180812 44 | 1.463 % |
1039.28/1039.31 c | 897924 | 18525 112018 406224 | 2147483647 181836 44 | 1.463 % |
1042.38/1042.34 c | 899973 | 18525 112018 406224 | 2147483647 183885 44 | 1.463 % |
1043.48/1043.42 c | 900487 | 18525 112018 406224 | 183913 184399 44 | 1.463 % |
1044.88/1044.89 c | 900999 | 18525 112018 406224 | 183913 156025 43 | 1.463 % |
1046.28/1046.30 c | 902023 | 18525 112018 406224 | 183913 157049 43 | 1.463 % |
1047.18/1047.13 c | 902537 | 18525 112018 406224 | 183913 157563 43 | 1.463 % |
1047.98/1047.98 c | 903050 | 18525 112018 406224 | 183913 158076 43 | 1.463 % |
1049.98/1049.92 c | 904076 | 18525 112018 406224 | 183913 159102 43 | 1.463 % |
1052.79/1052.72 c | 906124 | 18525 112018 406224 | 183913 161150 44 | 1.463 % |
1059.08/1059.06 c | 910220 | 18525 112018 406224 | 165027 165246 44 | 1.463 % |
1060.08/1060.10 c | 910732 | 18525 112018 406224 | 165027 165758 44 | 1.463 % |
1061.59/1061.60 c | 911244 | 18525 112018 406224 | 165027 140370 41 | 1.463 % |
1063.08/1063.08 c | 912268 | 18525 112018 406224 | 165027 141394 41 | 1.463 % |
1063.98/1063.96 c | 912780 | 18525 112018 406224 | 165027 141906 41 | 1.463 % |
1064.89/1064.86 c | 913292 | 18525 112018 406224 | 165027 142418 41 | 1.463 % |
1065.99/1065.93 c | 914317 | 18525 112018 406224 | 165027 143443 41 | 1.463 % |
1068.08/1068.08 c | 916365 | 18525 112018 406224 | 165027 145491 41 | 1.463 % |
1068.68/1068.68 c | 916878 | 18525 112018 406224 | 165027 146004 42 | 1.463 % |
1069.38/1069.35 c | 917390 | 18525 112018 406224 | 165027 146516 42 | 1.463 % |
1070.48/1070.46 c | 918414 | 18525 112018 406224 | 165027 147540 42 | 1.463 % |
1071.08/1071.06 c | 918927 | 18525 112018 406224 | 165027 148053 42 | 1.463 % |
1071.88/1071.85 c | 919441 | 18525 112018 406224 | 165027 148567 42 | 1.463 % |
1073.08/1073.02 c | 920465 | 18525 112018 406224 | 149126 149591 42 | 1.463 % |
1076.58/1076.52 c | 922513 | 18525 112018 406224 | 149126 133628 41 | 1.463 % |
1084.18/1084.12 c | 926611 | 18525 112018 406224 | 149126 137726 42 | 1.463 % |
1094.59/1094.60 c | 934809 | 18525 112018 406224 | 141116 145924 44 | 1.463 % |
1118.49/1118.52 c | 951193 | 18525 112018 406224 | 2147483647 117163 44 | 1.463 % |
1168.49/1168.41 c | 983962 | 18525 112018 406224 | 127669 131631 47 | 1.463 % |
1200.08/1200.01 HOME/SatELiteGTI: line 36: 8985 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820399-1242438898/watcher-1820399-1242438898 -o /tmp/evaluation-result-1820399-1242438898/solver-1820399-1242438898 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820399-1242438898.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.14 1.04 1.01 2/97 8979
/proc/meminfo: memFree=867988/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2412 CPUtime=0.01
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 367 642 0 0 0 0 0 1 18 0 1 0 1008390837 2469888 276 4294967295 134512640 135169312 3215144320 3215142856 3085618926 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8979/statm: 603 276 235 161 0 42 0
[pid=8983] ppid=8979 vsize=956 CPUtime=0
/proc/8983/stat : 8983 (SatELite_releas) R 8979 8979 16367 0 -1 4202496 136 0 0 0 0 0 0 0 20 0 1 0 1008390838 978944 71 4294967295 134512640 135223648 3217311616 3217310336 134734703 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8983/statm: 239 71 45 174 0 64 0
[startup+0.043331 s]
/proc/loadavg: 1.14 1.04 1.01 2/97 8979
/proc/meminfo: memFree=867988/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2412 CPUtime=0.01
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 367 642 0 0 0 0 0 1 18 0 1 0 1008390837 2469888 276 4294967295 134512640 135169312 3215144320 3215142856 3085618926 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8979/statm: 603 276 235 161 0 42 0
[pid=8983] ppid=8979 vsize=9316 CPUtime=0.04
/proc/8983/stat : 8983 (SatELite_releas) R 8979 8979 16367 0 -1 4202496 1590 0 0 0 4 0 0 0 20 0 1 0 1008390838 9539584 1478 4294967295 134512640 135223648 3217311616 3217310568 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8983/statm: 2329 1479 47 174 0 2154 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11728
[startup+0.123327 s]
/proc/loadavg: 1.14 1.04 1.01 2/97 8979
/proc/meminfo: memFree=867988/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2412 CPUtime=0.01
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 367 642 0 0 0 0 0 1 18 0 1 0 1008390837 2469888 276 4294967295 134512640 135169312 3215144320 3215142856 3085618926 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8979/statm: 603 276 235 161 0 42 0
[pid=8983] ppid=8979 vsize=16948 CPUtime=0.12
/proc/8983/stat : 8983 (SatELite_releas) R 8979 8979 16367 0 -1 4202496 3423 0 0 0 10 2 0 0 20 0 1 0 1008390838 17354752 3311 4294967295 134512640 135223648 3217311616 3217310624 134547578 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8983/statm: 4237 3311 47 174 0 4062 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 19360
[startup+0.323315 s]
/proc/loadavg: 1.14 1.04 1.01 2/97 8979
/proc/meminfo: memFree=867988/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2412 CPUtime=0.01
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 367 642 0 0 0 0 0 1 18 0 1 0 1008390837 2469888 276 4294967295 134512640 135169312 3215144320 3215142856 3085618926 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8979/statm: 603 276 235 161 0 42 0
[pid=8983] ppid=8979 vsize=20776 CPUtime=0.32
/proc/8983/stat : 8983 (SatELite_releas) R 8979 8979 16367 0 -1 4202496 4580 0 0 0 30 2 0 0 21 0 1 0 1008390838 21274624 4091 4294967295 134512640 135223648 3217311616 3217309632 134586721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8983/statm: 5194 4091 73 174 0 5019 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 23188
[startup+0.723292 s]
/proc/loadavg: 1.14 1.04 1.01 2/97 8979
/proc/meminfo: memFree=867988/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2412 CPUtime=0.01
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 367 642 0 0 0 0 0 1 18 0 1 0 1008390837 2469888 276 4294967295 134512640 135169312 3215144320 3215142856 3085618926 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8979/statm: 603 276 235 161 0 42 0
[pid=8983] ppid=8979 vsize=23320 CPUtime=0.72
/proc/8983/stat : 8983 (SatELite_releas) R 8979 8979 16367 0 -1 4202496 5106 0 0 0 70 2 0 0 22 0 1 0 1008390838 23879680 4617 4294967295 134512640 135223648 3217311616 3217309968 134601968 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8983/statm: 5830 4617 73 174 0 5655 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 25732
[startup+1.52325 s]
/proc/loadavg: 1.14 1.04 1.01 3/99 8984
/proc/meminfo: memFree=848264/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 2416
[startup+3.12316 s]
/proc/loadavg: 1.13 1.04 1.01 2/99 8985
/proc/meminfo: memFree=855580/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=9992 CPUtime=1.71
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 2363 0 0 0 171 0 0 0 25 0 1 0 1008390979 10231808 2298 4294967295 134512640 135216591 3219530240 3219528208 134538273 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 2498 2298 75 172 0 2325 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 12408
[startup+6.32298 s]
/proc/loadavg: 1.13 1.04 1.01 3/99 8985
/proc/meminfo: memFree=853596/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=12248 CPUtime=4.91
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 2898 0 0 0 491 0 0 0 25 0 1 0 1008390979 12541952 2833 4294967295 134512640 135216591 3219530240 3219528144 134532847 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 3062 2833 75 172 0 2889 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 14664
[startup+12.7226 s]
/proc/loadavg: 1.11 1.04 1.01 4/99 9168
/proc/meminfo: memFree=849192/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=16164 CPUtime=11.31
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 3876 0 0 0 1129 2 0 0 25 0 1 0 1008390979 16551936 3811 4294967295 134512640 135216591 3219530240 3219528208 134539304 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 4041 3811 75 172 0 3868 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 18580
[startup+25.5219 s]
/proc/loadavg: 1.09 1.04 1.01 2/99 9171
/proc/meminfo: memFree=843324/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=22336 CPUtime=24.11
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 5423 0 0 0 2409 2 0 0 25 0 1 0 1008390979 22872064 5358 4294967295 134512640 135216591 3219530240 3219528432 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 5584 5358 75 172 0 5411 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 24752
[startup+51.1205 s]
/proc/loadavg: 1.06 1.03 1.01 2/99 9172
/proc/meminfo: memFree=833120/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=32840 CPUtime=49.71
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 8006 0 0 0 4967 4 0 0 25 0 1 0 1008390979 33628160 7941 4294967295 134512640 135216591 3219530240 3219528432 134528833 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 8210 7941 75 172 0 8037 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 35256
[startup+102.328 s]
/proc/loadavg: 1.02 1.03 1.00 2/99 9360
/proc/meminfo: memFree=821828/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=43636 CPUtime=100.92
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 10724 0 0 0 10086 6 0 0 25 0 1 0 1008390979 44683264 10659 4294967295 134512640 135216591 3219530240 3219528432 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 10909 10659 75 172 0 10736 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 46052
[startup+162.314 s]
/proc/loadavg: 1.01 1.02 1.00 2/99 9546
/proc/meminfo: memFree=814760/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=50852 CPUtime=160.91
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 12473 0 0 0 16082 9 0 0 25 0 1 0 1008390979 52072448 12408 4294967295 134512640 135216591 3219530240 3219528432 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 12713 12408 75 172 0 12540 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 53268
[startup+222.321 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 9739
/proc/meminfo: memFree=811536/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=54164 CPUtime=220.92
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 13276 0 0 0 22081 11 0 0 25 0 1 0 1008390979 55463936 13211 4294967295 134512640 135216591 3219530240 3219528432 134528948 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 13541 13211 75 172 0 13368 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 56580
[startup+282.318 s]
/proc/loadavg: 1.18 1.06 1.01 3/99 9926
/proc/meminfo: memFree=811172/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=54352 CPUtime=280.92
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 13347 0 0 0 28080 12 0 0 25 0 1 0 1008390979 55656448 13282 4294967295 134512640 135216591 3219530240 3219528144 134532892 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 13588 13282 75 172 0 13415 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 56768
[startup+342.324 s]
/proc/loadavg: 1.07 1.05 1.01 2/99 10117
/proc/meminfo: memFree=811256/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=54352 CPUtime=340.93
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 13349 0 0 0 34081 12 0 0 25 0 1 0 1008390979 55656448 13284 4294967295 134512640 135216591 3219530240 3219528432 134529243 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 13588 13284 75 172 0 13415 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 56768
[startup+402.321 s]
################
# More data... #
################
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=54568 CPUtime=460.93
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 13383 0 0 0 46081 12 0 0 25 0 1 0 1008390979 55877632 13318 4294967295 134512640 135216591 3219530240 3219528432 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 13642 13318 75 172 0 13469 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 56984
[startup+522.314 s]
/proc/loadavg: 1.00 1.02 1.00 3/99 10683
/proc/meminfo: memFree=811040/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=54568 CPUtime=520.93
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 13384 0 0 0 52080 13 0 0 25 0 1 0 1008390979 55877632 13319 4294967295 134512640 135216591 3219530240 3219528144 134532864 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 13642 13319 75 172 0 13469 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 56984
[startup+582.311 s]
/proc/loadavg: 1.00 1.01 1.00 3/99 10871
/proc/meminfo: memFree=810800/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=54888 CPUtime=580.93
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 13447 0 0 0 58080 13 0 0 25 0 1 0 1008390979 56205312 13382 4294967295 134512640 135216591 3219530240 3219528432 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 13722 13382 75 172 0 13549 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 57304
[startup+642.317 s]
/proc/loadavg: 1.00 1.01 1.00 3/99 11060
/proc/meminfo: memFree=810388/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=55216 CPUtime=640.94
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 13533 0 0 0 64081 13 0 0 25 0 1 0 1008390979 56541184 13468 4294967295 134512640 135216591 3219530240 3219528432 134528948 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 13804 13468 75 172 0 13631 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 57632
[startup+702.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11248
/proc/meminfo: memFree=810248/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=55296 CPUtime=700.94
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 13548 0 0 0 70081 13 0 0 25 0 1 0 1008390979 56623104 13483 4294967295 134512640 135216591 3219530240 3219528432 134529262 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 13824 13483 75 172 0 13651 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 57712
[startup+762.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11434
/proc/meminfo: memFree=810024/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=55564 CPUtime=760.95
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 13639 0 0 0 76081 14 0 0 25 0 1 0 1008390979 56897536 13566 4294967295 134512640 135216591 3219530240 3219528432 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 13891 13566 75 172 0 13718 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 57980
[startup+822.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11622
/proc/meminfo: memFree=805832/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=59788 CPUtime=820.94
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 14711 0 0 0 82078 16 0 0 25 0 1 0 1008390979 61222912 14638 4294967295 134512640 135216591 3219530240 3219528432 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 14947 14638 75 172 0 14774 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 62204
[startup+882.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11810
/proc/meminfo: memFree=805220/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=60316 CPUtime=880.95
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 14817 0 0 0 88076 19 0 0 25 0 1 0 1008390979 61763584 14744 4294967295 134512640 135216591 3219530240 3219528432 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 15079 14744 75 172 0 14906 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 62732
[startup+942.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 12003
/proc/meminfo: memFree=804652/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=60484 CPUtime=940.95
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 14892 0 0 0 94076 19 0 0 25 0 1 0 1008390979 61935616 14819 4294967295 134512640 135216591 3219530240 3219528432 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 15121 14819 75 172 0 14948 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 62900
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 12191
/proc/meminfo: memFree=804288/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=60956 CPUtime=1000.96
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 14992 0 0 0 100077 19 0 0 25 0 1 0 1008390979 62418944 14919 4294967295 134512640 135216591 3219530240 3219528432 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 15239 14919 75 172 0 15066 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 63372
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 12377
/proc/meminfo: memFree=804088/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=61300 CPUtime=1060.96
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 15044 0 0 0 106077 19 0 0 25 0 1 0 1008390979 62771200 14971 4294967295 134512640 135216591 3219530240 3219528432 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 15325 14971 75 172 0 15152 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 63716
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 12565
/proc/meminfo: memFree=803956/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=61300 CPUtime=1120.97
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 15069 0 0 0 112078 19 0 0 25 0 1 0 1008390979 62771200 14996 4294967295 134512640 135216591 3219530240 3219528432 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 15325 14996 75 172 0 15152 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 63716
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 12753
/proc/meminfo: memFree=803980/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=61300 CPUtime=1180.96
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 15069 0 0 0 118077 19 0 0 25 0 1 0 1008390979 62771200 14996 4294967295 134512640 135216591 3219530240 3219528432 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 15325 14996 75 172 0 15152 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 63716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 12759
/proc/meminfo: memFree=803972/2074464 swapFree=1949244/1959888
[pid=8979] ppid=8977 vsize=2416 CPUtime=1.42
/proc/8979/stat : 8979 (SatELiteGTI) S 8977 8979 16367 0 -1 4194304 385 6361 0 0 0 0 139 3 18 0 1 0 1008390837 2473984 277 4294967295 134512640 135169312 3215144320 3215140536 3085618926 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8979/statm: 604 277 235 161 0 43 0
[pid=8985] ppid=8979 vsize=61444 CPUtime=1198.66
/proc/8985/stat : 8985 (minisat_static) R 8979 8979 16367 0 -1 4202496 15098 0 0 0 119847 19 0 0 25 0 1 0 1008390979 62918656 15025 4294967295 134512640 135216591 3219530240 3219528432 134528974 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8985/statm: 15361 15025 75 172 0 15188 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 63860
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.02
CPU time (s): 1200.09
CPU user time (s): 1199.86
CPU system time (s): 0.23
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 63860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.86
system time used= 0.23
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22121
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= 19
involuntary context switches= 795
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi11 at 2009-05-16 03:54:58
IDJOB=1820399
IDBENCH=20390
IDSOLVER=658
FILE ID=tipi11/1820399-1242438898
PBS_JOBID=
Free space on /tmp= 10739 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/medium/AProVE07-09.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820399-1242438898/watcher-1820399-1242438898 -o /tmp/evaluation-result-1820399-1242438898/solver-1820399-1242438898 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820399-1242438898.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 50ed98553825ac1825482c1496260592
RANDOM SEED= 1932055872
Linux tipi11 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 868004 kB
Buffers: 25152 kB
Cached: 1090328 kB
SwapCached: 5336 kB
Active: 323128 kB
Inactive: 804364 kB
HighTotal: 1178688 kB
HighFree: 226108 kB
LowTotal: 895776 kB
LowFree: 641896 kB
SwapTotal: 1959888 kB
SwapFree: 1949244 kB
Dirty: 4512 kB
Writeback: 0 kB
AnonPages: 11092 kB
Mapped: 5012 kB
Slab: 69892 kB
PageTables: 540 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 97124 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10739 MiB
End job on tipi11 at 2009-05-16 04:14:59