0.00/0.00 c Parsing...
0.00/0.81 c ==============================================================================
0.00/0.81 c | | ORIGINAL | LEARNT | |
0.00/0.81 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.81 c ==============================================================================
0.00/0.81 c | 0 | 1040931 2400826 | 312279 0 0 nan | 0.000 % |
7.78/7.85 c | 0 | 616982 1688498 | -- 0 -- -- | -- | -196875/-198394
7.78/7.86 c ==============================================================================
7.78/7.86 c Result : #vars: 113377 #clauses: 616982 #literals: 1688498
7.78/7.86 c CPU time: 7.58885 s
7.78/7.86 c ==============================================================================
8.46/8.51 c This is MiniSat 2.0 beta
8.46/8.51 c WARNING: for repeatability, setting FPU to use double precision
8.46/8.51 c ============================[ Problem Statistics ]=============================
8.46/8.51 c | |
8.46/8.51 c | Number of variables: 113377 |
8.46/8.51 c | Number of clauses: 616982 |
8.85/8.91 c | Parsing time: 0.35 s |
8.85/8.93 c ============================[ Search Statistics ]==============================
8.85/8.93 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.85/8.93 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.85/8.93 c ===============================================================================
8.85/8.93 c | 0 | 113377 616982 1688498 | 205660 0 nan | 0.000 % |
9.05/9.15 c | 102 | 113377 616982 1688498 | 205660 102 231 | 0.000 % |
9.35/9.46 c | 202 | 113374 616982 1688498 | 205660 201 181 | 0.015 % |
9.55/9.61 c | 306 | 113374 616982 1688498 | 205660 305 139 | 0.015 % |
9.65/9.74 c | 417 | 113374 616982 1688498 | 205660 416 132 | 0.015 % |
9.85/9.92 c | 517 | 113374 616982 1688498 | 205660 515 126 | 0.287 % |
10.06/10.12 c | 630 | 113035 614941 1683264 | 205660 627 125 | 0.302 % |
10.26/10.30 c | 751 | 113035 614941 1683264 | 205660 748 113 | 0.302 % |
10.36/10.43 c | 851 | 113035 614941 1683264 | 205660 848 107 | 0.302 % |
10.45/10.57 c | 961 | 113035 614941 1683264 | 205660 958 102 | 0.302 % |
10.86/10.91 c | 1082 | 113022 614941 1683264 | 205660 1078 98 | 0.573 % |
10.96/11.03 c | 1215 | 113022 614941 1683264 | 205660 1211 102 | 0.573 % |
11.46/11.52 c | 1315 | 112727 613104 1678582 | 205660 1310 112 | 0.573 % |
11.86/11.93 c | 1428 | 112406 613104 1678582 | 205660 1422 125 | 1.738 % |
12.36/12.46 c | 1552 | 112406 613104 1678582 | 205660 1545 128 | 1.753 % |
12.86/12.95 c | 1687 | 111383 605169 1658315 | 205660 1676 137 | 1.783 % |
13.75/13.85 c | 1835 | 111383 605169 1658315 | 205660 1824 151 | 1.783 % |
14.16/14.24 c | 1937 | 111350 604957 1657747 | 205660 1925 175 | 1.798 % |
14.65/14.73 c | 2047 | 110960 604957 1657747 | 205660 2028 171 | 4.031 % |
14.85/14.98 c | 2169 | 110833 604957 1657747 | 205660 2146 166 | 4.856 % |
15.35/15.48 c | 2305 | 110833 604957 1657747 | 205660 2282 169 | 4.856 % |
15.65/15.71 c | 2451 | 107871 586993 1615816 | 205660 2424 164 | 4.856 % |
16.25/16.31 c | 2611 | 107837 586993 1615816 | 205660 2583 170 | 5.282 % |
16.65/16.77 c | 2711 | 107823 586993 1615816 | 205660 2681 174 | 6.112 % |
17.15/17.22 c | 2821 | 106165 577311 1591899 | 205660 2790 171 | 6.361 % |
17.75/17.86 c | 2944 | 106154 577311 1591899 | 205660 2910 173 | 7.688 % |
18.24/18.33 c | 3078 | 106145 577311 1591899 | 205660 3042 192 | 7.746 % |
19.04/19.14 c | 3224 | 106145 577311 1591899 | 205660 3188 196 | 7.746 % |
19.54/19.61 c | 3384 | 104595 567888 1567469 | 205660 3343 195 | 7.746 % |
20.64/20.75 c | 3561 | 104595 567888 1567469 | 205660 3520 222 | 7.746 % |
20.94/21.10 c | 3662 | 104594 567888 1567469 | 205660 3620 222 | 7.747 % |
21.14/21.25 c | 3772 | 104594 567884 1567461 | 205660 3730 219 | 7.747 % |
21.54/21.70 c | 3895 | 104594 567884 1567461 | 205660 3853 220 | 7.747 % |
21.85/21.92 c | 4028 | 104593 567884 1567461 | 205660 3985 216 | 7.762 % |
22.25/22.39 c | 4175 | 104593 567884 1567461 | 205660 4132 215 | 7.762 % |
22.95/23.03 c | 4335 | 104593 567884 1567461 | 205660 4292 235 | 7.762 % |
24.05/24.17 c | 4511 | 104558 567769 1567156 | 205660 4465 239 | 7.812 % |
24.65/24.70 c | 4707 | 104554 567769 1567156 | 205660 4660 239 | 7.826 % |
24.95/25.02 c | 4807 | 104002 564442 1558787 | 205660 4746 235 | 8.269 % |
25.35/25.41 c | 4917 | 104000 564442 1558787 | 205660 4855 234 | 8.520 % |
25.94/26.09 c | 5039 | 104000 564442 1558787 | 205660 4977 236 | 8.520 % |
26.64/26.72 c | 5172 | 104000 564442 1558787 | 205660 5110 242 | 8.520 % |
27.35/27.48 c | 5318 | 103676 562811 1554349 | 205660 5255 246 | 8.556 % |
27.84/27.94 c | 5480 | 103676 562811 1554349 | 205660 5417 244 | 8.556 % |
28.45/28.54 c | 5658 | 103676 562811 1554349 | 205660 5595 253 | 8.556 % |
29.44/29.54 c | 5855 | 103676 562811 1554349 | 205660 5792 256 | 8.556 % |
30.44/30.55 c | 6068 | 103659 562696 1554047 | 205660 6004 267 | 8.571 % |
30.84/30.94 c | 6168 | 103658 562696 1554047 | 205660 6103 265 | 8.586 % |
31.04/31.17 c | 6278 | 103658 562696 1554047 | 205660 6213 262 | 8.586 % |
31.34/31.42 c | 6400 | 103631 562696 1554047 | 205660 6332 261 | 9.057 % |
31.44/31.55 c | 6533 | 103631 562696 1554047 | 205660 6465 258 | 9.057 % |
31.54/31.70 c | 6683 | 103629 562696 1554047 | 205660 6614 254 | 9.071 % |
32.14/32.25 c | 6843 | 103558 562696 1554047 | 205660 6773 252 | 9.400 % |
33.04/33.10 c | 7021 | 102716 557279 1541182 | 205660 6927 260 | 9.415 % |
34.13/34.26 c | 7215 | 102716 557279 1541182 | 205660 7121 266 | 9.415 % |
35.14/35.20 c | 7428 | 102716 557279 1541182 | 205660 7334 277 | 9.415 % |
35.94/36.04 c | 7661 | 102703 557172 1540896 | 205660 7567 274 | 9.415 % |
36.04/36.19 c | 7763 | 102703 557172 1540896 | 205660 7669 272 | 9.415 % |
36.24/36.30 c | 7874 | 102703 557172 1540896 | 205660 7780 270 | 9.415 % |
36.34/36.41 c | 7995 | 102703 557172 1540896 | 205660 7901 267 | 9.415 % |
36.44/36.56 c | 8128 | 102703 557172 1540896 | 205660 8034 265 | 9.415 % |
37.24/37.37 c | 8274 | 102703 557172 1540896 | 205660 8180 266 | 9.415 % |
38.13/38.20 c | 8434 | 102687 557067 1540614 | 205660 8339 269 | 9.429 % |
39.14/39.20 c | 8611 | 102682 557067 1540614 | 205660 8515 273 | 9.444 % |
39.84/39.94 c | 8804 | 102682 557067 1540614 | 205660 8707 272 | 9.628 % |
40.94/41.05 c | 9017 | 102555 557067 1540614 | 205660 8920 277 | 9.628 % |
41.44/41.59 c | 9252 | 102555 557067 1540614 | 205660 9155 280 | 9.628 % |
42.13/42.20 c | 9508 | 102458 556007 1537582 | 205660 9409 279 | 9.642 % |
42.33/42.47 c | 9609 | 102453 556007 1537582 | 205660 9510 279 | 9.642 % |
42.84/42.94 c | 9723 | 102453 556007 1537582 | 205660 9624 281 | 9.642 % |
43.33/43.46 c | 9844 | 102453 556007 1537582 | 205660 9745 284 | 9.642 % |
43.94/44.09 c | 9978 | 102448 556007 1537582 | 205660 9878 285 | 9.656 % |
44.53/44.69 c | 10127 | 102448 556007 1537582 | 2147483647 10027 288 | 9.656 % |
45.43/45.51 c | 10288 | 102417 556007 1537582 | 2147483647 10186 289 | 9.684 % |
46.23/46.35 c | 10464 | 102398 555655 1536731 | 2147483647 10356 290 | 9.684 % |
46.73/46.83 c | 10657 | 102398 555655 1536731 | 2147483647 10549 288 | 9.684 % |
47.73/47.86 c | 10869 | 102398 555655 1536731 | 2147483647 10761 298 | 9.684 % |
49.03/49.11 c | 11102 | 102360 555655 1536731 | 2147483647 10993 308 | 9.729 % |
50.33/50.46 c | 11359 | 102345 555415 1536251 | 2147483647 11249 315 | 9.730 % |
51.83/51.95 c | 11644 | 102344 555415 1536251 | 2147483647 11533 323 | 9.731 % |
52.33/52.42 c | 11746 | 102344 555415 1536251 | 2147483647 11635 324 | 9.731 % |
52.43/52.55 c | 11858 | 102344 555415 1536251 | 2147483647 11747 322 | 9.731 % |
52.64/52.79 c | 11979 | 102344 555415 1536251 | 2147483647 11868 320 | 9.731 % |
53.03/53.12 c | 12113 | 102344 555415 1536251 | 2147483647 12002 318 | 9.731 % |
53.33/53.48 c | 12262 | 102338 555415 1536251 | 2147483647 12149 317 | 9.760 % |
53.53/53.66 c | 12423 | 102338 555415 1536251 | 2147483647 12310 315 | 9.760 % |
53.84/53.93 c | 12600 | 102338 555415 1536251 | 2147483647 12487 312 | 9.760 % |
54.13/54.22 c | 12793 | 102311 555197 1535670 | 2147483647 12680 309 | 9.760 % |
54.93/55.01 c | 13005 | 102311 555197 1535670 | 2147483647 12892 309 | 9.760 % |
55.63/55.74 c | 13239 | 102310 555197 1535670 | 2147483647 13125 313 | 9.761 % |
56.93/57.05 c | 13496 | 102309 555197 1535670 | 2147483647 13381 313 | 9.762 % |
57.92/58.05 c | 13777 | 102309 555197 1535670 | 2147483647 13662 319 | 9.762 % |
59.03/59.11 c | 14087 | 102309 555197 1535670 | 2147483647 13972 321 | 9.762 % |
59.33/59.45 c | 14188 | 102294 555090 1535382 | 2147483647 14071 320 | 9.775 % |
60.03/60.12 c | 14298 | 102294 555090 1535382 | 2147483647 14181 324 | 9.775 % |
60.53/60.64 c | 14422 | 102293 555090 1535382 | 2147483647 14304 323 | 9.789 % |
61.13/61.25 c | 14555 | 102293 555090 1535382 | 2147483647 14437 327 | 9.789 % |
61.43/61.52 c | 14702 | 102293 555090 1535382 | 2147483647 14584 325 | 9.789 % |
62.32/62.46 c | 14862 | 102293 555090 1535382 | 2147483647 14744 326 | 9.789 % |
63.02/63.10 c | 15038 | 102293 555090 1535382 | 2147483647 14920 325 | 9.789 % |
64.02/64.17 c | 15232 | 102293 555090 1535382 | 2147483647 15114 329 | 9.789 % |
65.02/65.15 c | 15447 | 102293 555090 1535382 | 2147483647 15329 337 | 9.789 % |
66.33/66.46 c | 15680 | 102279 554991 1535125 | 2147483647 15562 341 | 9.789 % |
67.43/67.56 c | 15936 | 102279 554991 1535125 | 2147483647 15818 344 | 9.789 % |
68.42/68.58 c | 16218 | 102279 554991 1535125 | 2147483647 16100 344 | 9.789 % |
69.62/69.70 c | 16527 | 102274 554991 1535125 | 2147483647 16408 344 | 9.993 % |
71.12/71.27 c | 16867 | 102274 554991 1535125 | 2147483647 16748 344 | 9.993 % |
71.62/71.75 c | 16967 | 102047 553634 1531613 | 2147483647 16846 344 | 9.993 % |
72.02/72.13 c | 17077 | 102022 553634 1531613 | 2147483647 16955 342 | 10.385 % |
72.22/72.33 c | 17198 | 102022 553634 1531613 | 2147483647 17076 341 | 10.385 % |
72.92/73.10 c | 17331 | 102022 553634 1531613 | 2147483647 17209 341 | 10.385 % |
73.62/73.77 c | 17477 | 102022 553634 1531613 | 2147483647 17355 344 | 10.385 % |
74.12/74.28 c | 17641 | 102021 553634 1531613 | 2147483647 17518 344 | 10.386 % |
75.12/75.27 c | 17822 | 102020 553634 1531613 | 2147483647 17698 348 | 10.387 % |
76.22/76.30 c | 18018 | 102019 553634 1531613 | 2147483647 17893 348 | 10.387 % |
76.92/77.07 c | 18231 | 102019 553634 1531613 | 2147483647 18106 350 | 10.387 % |
77.81/77.98 c | 18466 | 102019 553634 1531613 | 2147483647 18341 349 | 10.387 % |
78.42/78.58 c | 18723 | 101572 550978 1524855 | 2147483647 18573 347 | 10.479 % |
80.52/80.60 c | 19008 | 101569 550978 1524855 | 2147483647 18857 350 | 10.492 % |
82.22/82.31 c | 19317 | 101568 550978 1524855 | 2147483647 19165 357 | 10.493 % |
83.52/83.61 c | 19656 | 101568 550978 1524855 | 2147483647 19504 364 | 10.493 % |
84.21/84.35 c | 20028 | 101568 550978 1524855 | 2147483647 19876 362 | 10.493 % |
84.41/84.53 c | 20131 | 101568 550978 1524855 | 2147483647 19979 361 | 10.493 % |
84.62/84.74 c | 20241 | 101568 550978 1524855 | 2147483647 20089 360 | 10.493 % |
85.11/85.24 c | 20364 | 101568 550978 1524855 | 2147483647 20212 359 | 10.493 % |
85.51/85.60 c | 20497 | 101562 550978 1524855 | 2147483647 20344 358 | 10.517 % |
86.21/86.33 c | 20644 | 101562 550978 1524855 | 2147483647 20491 359 | 10.517 % |
87.21/87.35 c | 20804 | 101453 550134 1522931 | 2147483647 20639 361 | 10.517 % |
88.01/88.17 c | 20980 | 101453 550134 1522931 | 2147483647 20815 365 | 10.517 % |
89.01/89.19 c | 21173 | 101453 550134 1522931 | 2147483647 21008 368 | 10.517 % |
90.21/90.31 c | 21386 | 101438 550134 1522931 | 2147483647 21220 370 | 10.612 % |
90.71/90.83 c | 21619 | 101438 550134 1522931 | 2147483647 21453 368 | 10.612 % |
92.51/92.62 c | 21875 | 101438 550134 1522931 | 2147483647 21709 368 | 10.612 % |
93.50/93.68 c | 22156 | 101383 550134 1522931 | 2147483647 21989 367 | 10.811 % |
94.90/95.06 c | 22465 | 101379 550134 1522931 | 2147483647 22297 370 | 10.825 % |
96.41/96.54 c | 22804 | 101104 548422 1518531 | 2147483647 22626 375 | 10.825 % |
98.31/98.43 c | 23177 | 101102 548422 1518531 | 2147483647 22997 377 | 10.839 % |
100.30/100.42 c | 23588 | 101094 548422 1518531 | 2147483647 23405 378 | 10.867 % |
100.40/100.57 c | 23688 | 101094 548422 1518531 | 2147483647 23505 377 | 10.867 % |
100.70/100.87 c | 23801 | 101094 548422 1518531 | 2147483647 23618 376 | 10.867 % |
101.01/101.12 c | 23923 | 101094 548422 1518531 | 2147483647 23740 376 | 10.867 % |
101.11/101.28 c | 24058 | 101094 548422 1518531 | 2147483647 23875 375 | 10.867 % |
101.30/101.42 c | 24205 | 101094 548422 1518531 | 2147483647 24022 374 | 10.867 % |
102.11/102.27 c | 24372 | 101094 548422 1518531 | 2147483647 24189 373 | 10.867 % |
103.10/103.20 c | 24551 | 101093 548422 1518531 | 2147483647 24367 374 | 10.870 % |
103.60/103.78 c | 24744 | 101093 548422 1518531 | 2147483647 24560 373 | 10.870 % |
104.60/104.79 c | 24956 | 101093 548422 1518531 | 2147483647 24772 374 | 10.870 % |
106.21/106.38 c | 25190 | 101053 548084 1517623 | 2147483647 25003 378 | 10.870 % |
107.80/107.96 c | 25447 | 101053 548084 1517623 | 2147483647 25260 382 | 10.870 % |
109.40/109.57 c | 25731 | 101053 548084 1517623 | 2147483647 25544 387 | 10.870 % |
110.80/110.97 c | 26040 | 101053 548084 1517623 | 2147483647 25853 389 | 10.870 % |
112.50/112.62 c | 26379 | 101053 548084 1517623 | 2147483647 26192 391 | 10.870 % |
113.60/113.75 c | 26754 | 101053 548084 1517623 | 2147483647 26567 389 | 10.870 % |
115.60/115.70 c | 27166 | 101044 548084 1517623 | 2147483647 26978 393 | 10.895 % |
117.80/117.99 c | 27619 | 101044 548084 1517623 | 2147483647 27431 398 | 10.895 % |
118.39/118.58 c | 27724 | 101025 547923 1517229 | 2147483647 27536 399 | 10.895 % |
118.99/119.15 c | 27834 | 101025 547923 1517229 | 2147483647 27646 399 | 10.895 % |
119.70/119.82 c | 27956 | 101024 547923 1517229 | 2147483647 27767 400 | 10.896 % |
120.39/120.50 c | 28089 | 101023 547923 1517229 | 2147483647 27899 402 | 10.896 % |
121.09/121.28 c | 28235 | 101023 547923 1517229 | 2147483647 28045 402 | 10.896 % |
121.99/122.15 c | 28395 | 101020 547923 1517229 | 2147483647 28204 402 | 10.911 % |
122.40/122.58 c | 28571 | 101019 547923 1517229 | 2147483647 28379 401 | 10.911 % |
123.70/123.82 c | 28768 | 101019 547923 1517229 | 2147483647 28576 402 | 10.911 % |
124.59/124.74 c | 28980 | 101019 547923 1517229 | 2147483647 28788 404 | 10.911 % |
125.39/125.58 c | 29219 | 101019 547923 1517229 | 2147483647 29027 403 | 10.911 % |
126.59/126.71 c | 29475 | 101014 547923 1517229 | 2147483647 29282 402 | 10.931 % |
127.39/127.53 c | 29756 | 101013 547923 1517229 | 2147483647 29562 400 | 10.932 % |
129.79/129.92 c | 30065 | 101013 547923 1517229 | 2147483647 29871 403 | 10.932 % |
131.99/132.14 c | 30404 | 101008 547923 1517229 | 2147483647 30209 402 | 10.947 % |
134.58/134.78 c | 30778 | 100966 547553 1516264 | 2147483647 30574 405 | 10.947 % |
137.09/137.26 c | 31187 | 100966 547553 1516264 | 2147483647 30983 407 | 10.947 % |
139.59/139.76 c | 31636 | 100966 547553 1516264 | 2147483647 31432 410 | 10.947 % |
141.58/141.76 c | 32132 | 100966 547553 1516264 | 2147483647 31928 416 | 10.947 % |
142.08/142.21 c | 32232 | 100966 547553 1516264 | 2147483647 32028 416 | 10.947 % |
142.58/142.76 c | 32343 | 100966 547553 1516264 | 2147483647 32139 417 | 10.947 % |
143.38/143.51 c | 32465 | 100956 547553 1516264 | 2147483647 32260 417 | 11.064 % |
144.08/144.24 c | 32598 | 100955 547553 1516264 | 2147483647 32392 418 | 11.065 % |
144.58/144.77 c | 32744 | 100952 547553 1516264 | 2147483647 32535 417 | 11.105 % |
145.78/145.96 c | 32904 | 100952 547553 1516264 | 2147483647 32695 420 | 11.105 % |
146.68/146.82 c | 33080 | 100952 547553 1516264 | 2147483647 32871 420 | 11.105 % |
147.48/147.69 c | 33274 | 100786 546469 1513490 | 2147483647 33054 419 | 11.105 % |
147.78/147.94 c | 33488 | 100786 546469 1513490 | 2147483647 33268 418 | 11.105 % |
148.98/149.19 c | 33724 | 100786 546469 1513490 | 2147483647 33504 417 | 11.105 % |
150.07/150.25 c | 33980 | 100786 546469 1513490 | 2147483647 33760 419 | 11.105 % |
151.58/151.70 c | 34262 | 100786 546469 1513490 | 2147483647 34042 420 | 11.105 % |
153.07/153.24 c | 34571 | 100783 546469 1513490 | 2147483647 34350 422 | 11.109 % |
154.77/154.91 c | 34910 | 100783 546469 1513490 | 2147483647 34689 422 | 11.109 % |
156.37/156.56 c | 35283 | 100783 546469 1513490 | 2147483647 35062 425 | 11.109 % |
158.37/158.59 c | 35692 | 100781 546469 1513490 | 2147483647 35470 425 | 11.138 % |
160.67/160.84 c | 36141 | 100780 546469 1513490 | 2147483647 35918 426 | 11.141 % |
163.57/163.70 c | 36635 | 100780 546469 1513490 | 2147483647 36412 430 | 11.141 % |
166.17/166.30 c | 37178 | 100744 546260 1512926 | 2147483647 36953 434 | 11.142 % |
166.57/166.74 c | 37279 | 100744 546260 1512926 | 2147483647 37054 434 | 11.142 % |
166.97/167.17 c | 37389 | 100744 546260 1512926 | 2147483647 37164 434 | 11.142 % |
167.47/167.66 c | 37510 | 100744 546260 1512926 | 2147483647 37285 434 | 11.142 % |
167.97/168.20 c | 37646 | 100744 546260 1512926 | 2147483647 37421 433 | 11.142 % |
168.77/168.92 c | 37795 | 100744 546260 1512926 | 2147483647 37570 434 | 11.142 % |
169.17/169.40 c | 37956 | 100744 546260 1512926 | 2147483647 37731 435 | 11.142 % |
169.77/169.95 c | 38133 | 100744 546260 1512926 | 2147483647 37908 435 | 11.142 % |
170.97/171.11 c | 38326 | 100743 546260 1512926 | 2147483647 38100 436 | 11.143 % |
171.67/171.86 c | 38539 | 100743 546260 1512926 | 2147483647 38313 436 | 11.143 % |
172.67/172.81 c | 38773 | 100743 546260 1512926 | 2147483647 38547 436 | 11.143 % |
174.07/174.28 c | 39033 | 100743 546260 1512926 | 2147483647 38807 437 | 11.143 % |
175.06/175.29 c | 39317 | 100743 546260 1512926 | 2147483647 39091 438 | 11.143 % |
176.96/177.19 c | 39626 | 100740 546260 1512926 | 2147483647 39396 439 | 11.173 % |
178.76/178.90 c | 39965 | 100736 546260 1512926 | 2147483647 39734 439 | 11.187 % |
180.27/180.42 c | 40340 | 100736 546260 1512926 | 2147483647 40109 439 | 11.187 % |
182.66/182.84 c | 40749 | 100736 546260 1512926 | 2147483647 40518 441 | 11.187 % |
185.36/185.52 c | 41198 | 100693 545938 1512064 | 2147483647 40961 443 | 11.187 % |
188.56/188.75 c | 41694 | 100692 545938 1512064 | 2147483647 41456 448 | 11.188 % |
191.96/192.15 c | 42239 | 100690 545938 1512064 | 2147483647 41999 450 | 11.190 % |
195.16/195.30 c | 42836 | 100685 545938 1512064 | 2147483647 42595 451 | 11.207 % |
195.76/195.90 c | 42936 | 100685 545938 1512064 | 2147483647 42695 451 | 11.207 % |
196.36/196.56 c | 43046 | 100685 545938 1512064 | 2147483647 42805 451 | 11.207 % |
196.85/197.03 c | 43167 | 100685 545938 1512064 | 2147483647 42926 450 | 11.207 % |
197.35/197.60 c | 43304 | 100685 545938 1512064 | 2147483647 43063 450 | 11.207 % |
198.26/198.41 c | 43450 | 100684 545938 1512064 | 2147483647 43208 450 | 11.220 % |
198.96/199.17 c | 43613 | 100682 545938 1512064 | 2147483647 43370 450 | 11.238 % |
200.26/200.42 c | 43792 | 100682 545938 1512064 | 2147483647 43549 450 | 11.238 % |
201.46/201.64 c | 43985 | 100682 545938 1512064 | 2147483647 43742 451 | 11.238 % |
202.55/202.79 c | 44198 | 100682 545938 1512064 | 2147483647 43955 454 | 11.238 % |
203.75/203.91 c | 44432 | 100682 545938 1512064 | 2147483647 44189 455 | 11.238 % |
205.45/205.60 c | 44688 | 100682 545938 1512064 | 2147483647 44445 456 | 11.238 % |
207.45/207.60 c | 44971 | 100636 545592 1511150 | 2147483647 44727 459 | 11.238 % |
208.95/209.12 c | 45283 | 100636 545592 1511150 | 2147483647 45039 461 | 11.238 % |
210.54/210.79 c | 45622 | 100636 545592 1511150 | 2147483647 45378 463 | 11.238 % |
212.64/212.81 c | 45994 | 100586 545592 1511150 | 2147483647 45747 463 | 11.617 % |
214.65/214.88 c | 46405 | 100585 545592 1511150 | 2147483647 46157 463 | 11.683 % |
217.34/217.52 c | 46856 | 100583 545592 1511150 | 2147483647 46606 464 | 11.685 % |
219.94/220.14 c | 47349 | 100583 545592 1511150 | 2147483647 47099 468 | 11.685 % |
223.04/223.20 c | 47892 | 100579 545592 1511150 | 2147483647 47641 471 | 11.785 % |
225.94/226.14 c | 48488 | 100577 545592 1511150 | 2147483647 48236 476 | 11.796 % |
229.75/229.94 c | 49146 | 100576 545592 1511150 | 2147483647 48893 481 | 11.809 % |
230.24/230.44 c | 49247 | 100576 545592 1511150 | 2147483647 48994 481 | 11.809 % |
230.84/231.07 c | 49357 | 100576 545592 1511150 | 2147483647 49104 482 | 11.809 % |
231.44/231.69 c | 49479 | 100576 545592 1511150 | 2147483647 49226 481 | 11.809 % |
231.94/232.14 c | 49612 | 99988 541693 1502138 | 2147483647 49341 481 | 11.809 % |
232.84/233.05 c | 49760 | 99988 541693 1502138 | 2147483647 49489 481 | 11.809 % |
233.74/233.97 c | 49922 | 99988 541693 1502138 | 2147483647 49651 482 | 11.809 % |
234.74/234.95 c | 50099 | 99988 541693 1502138 | 2147483647 49828 482 | 11.809 % |
235.24/235.43 c | 50292 | 99988 541693 1502138 | 2147483647 50021 481 | 11.809 % |
236.43/236.61 c | 50505 | 99984 541693 1502138 | 2147483647 50233 482 | 11.826 % |
237.34/237.51 c | 50740 | 99983 541693 1502138 | 2147483647 50468 483 | 11.826 % |
239.03/239.24 c | 50996 | 99983 541693 1502138 | 2147483647 50724 484 | 11.826 % |
240.43/240.65 c | 51278 | 99983 541693 1502138 | 2147483647 51006 485 | 11.826 % |
242.03/242.28 c | 51589 | 99983 541693 1502138 | 2147483647 51317 487 | 11.826 % |
243.13/243.36 c | 51928 | 99983 541693 1502138 | 2147483647 51656 486 | 11.826 % |
245.14/245.33 c | 52301 | 99983 541693 1502138 | 2147483647 52029 487 | 11.826 % |
248.23/248.48 c | 52711 | 99983 541693 1502138 | 2147483647 52439 488 | 11.826 % |
250.83/251.02 c | 53160 | 99983 541693 1502138 | 2147483647 52888 490 | 11.826 % |
253.63/253.82 c | 53654 | 99982 541693 1502138 | 2147483647 53381 493 | 11.827 % |
256.43/256.64 c | 54197 | 99978 541693 1502138 | 2147483647 53923 493 | 11.831 % |
260.83/261.09 c | 54793 | 99978 541693 1502138 | 2147483647 54519 497 | 11.831 % |
265.62/265.82 c | 55448 | 99978 541693 1502138 | 2147483647 55174 501 | 11.831 % |
269.92/270.15 c | 56168 | 99962 541549 1501777 | 2147483647 55893 504 | 11.832 % |
270.72/270.98 c | 56269 | 99962 541549 1501777 | 2147483647 55994 505 | 11.832 % |
271.22/271.49 c | 56379 | 99962 541549 1501777 | 2147483647 56104 505 | 11.832 % |
272.22/272.41 c | 56500 | 99962 541549 1501777 | 2147483647 56225 505 | 11.832 % |
272.82/273.00 c | 56633 | 99962 541549 1501777 | 2147483647 56358 505 | 11.832 % |
273.82/274.01 c | 56780 | 99962 541549 1501777 | 2147483647 56505 506 | 11.832 % |
274.72/274.96 c | 56942 | 99962 541549 1501777 | 2147483647 56667 506 | 11.832 % |
275.61/275.80 c | 57118 | 99962 541549 1501777 | 2147483647 56843 507 | 11.832 % |
277.02/277.23 c | 57312 | 99962 541549 1501777 | 2147483647 57037 508 | 11.832 % |
277.51/277.77 c | 57529 | 99960 541549 1501777 | 2147483647 57253 506 | 11.849 % |
278.72/278.99 c | 57762 | 99960 541549 1501777 | 2147483647 57486 507 | 11.849 % |
280.12/280.38 c | 58018 | 99960 541549 1501777 | 2147483647 57742 507 | 11.849 % |
281.72/281.90 c | 58299 | 99960 541549 1501777 | 2147483647 58023 507 | 11.849 % |
283.32/283.56 c | 58608 | 99960 541549 1501777 | 2147483647 58332 509 | 11.849 % |
285.11/285.39 c | 58947 | 99960 541549 1501777 | 2147483647 58671 509 | 11.849 % |
286.81/287.05 c | 59320 | 99960 541549 1501777 | 2147483647 59044 509 | 11.849 % |
289.12/289.32 c | 59731 | 99960 541549 1501777 | 2147483647 59455 511 | 11.849 % |
292.11/292.40 c | 60181 | 99959 541549 1501777 | 2147483647 59904 512 | 11.850 % |
295.91/296.17 c | 60675 | 99958 541549 1501777 | 2147483647 60397 515 | 11.851 % |
298.71/298.97 c | 61218 | 99958 541549 1501777 | 2147483647 60940 516 | 11.851 % |
302.11/302.39 c | 61814 | 99957 541549 1501777 | 2147483647 61535 516 | 11.852 % |
306.20/306.43 c | 62470 | 99939 541421 1501462 | 2147483647 62190 519 | 11.853 % |
310.61/310.86 c | 63190 | 99939 541421 1501462 | 2147483647 62910 525 | 11.852 % |
314.31/314.59 c | 63984 | 99900 541421 1501462 | 2147483647 63701 523 | 12.729 % |
315.00/315.20 c | 64086 | 99900 541421 1501462 | 2147483647 63803 523 | 12.729 % |
315.21/315.47 c | 64196 | 99900 541421 1501462 | 2147483647 63913 522 | 12.729 % |
315.41/315.66 c | 64321 | 99900 541421 1501462 | 2147483647 64038 522 | 12.729 % |
315.71/315.96 c | 64454 | 99899 541421 1501462 | 2147483647 64170 521 | 12.933 % |
316.51/316.74 c | 64600 | 99802 541421 1501462 | 2147483647 64316 521 | 12.933 % |
317.30/317.59 c | 64760 | 99802 541421 1501462 | 2147483647 64476 522 | 12.933 % |
318.60/318.81 c | 64937 | 99802 541421 1501462 | 2147483647 64653 522 | 12.933 % |
319.60/319.88 c | 65131 | 99802 541421 1501462 | 2147483647 64847 522 | 12.933 % |
321.21/321.49 c | 65343 | 99802 541421 1501462 | 2147483647 65059 523 | 12.933 % |
322.50/322.71 c | 65577 | 99801 541421 1501462 | 2147483647 65292 523 | 12.934 % |
324.21/324.48 c | 65836 | 99801 541421 1501462 | 2147483647 65551 524 | 12.934 % |
326.10/326.32 c | 66120 | 99800 541421 1501462 | 2147483647 65834 525 | 12.935 % |
327.60/327.88 c | 66433 | 99800 541421 1501462 | 2147483647 66147 525 | 12.935 % |
330.20/330.43 c | 66774 | 99800 541421 1501462 | 2147483647 66488 527 | 12.935 % |
332.30/332.51 c | 67148 | 99800 541421 1501462 | 2147483647 66862 529 | 12.935 % |
335.10/335.33 c | 67558 | 99800 541421 1501462 | 2147483647 67272 529 | 12.935 % |
337.99/338.22 c | 68007 | 99800 541421 1501462 | 2147483647 67721 530 | 12.935 % |
340.20/340.43 c | 68504 | 99800 541421 1501462 | 2147483647 68218 531 | 12.935 % |
342.80/343.00 c | 69048 | 99800 541421 1501462 | 2147483647 68762 530 | 12.935 % |
345.99/346.25 c | 69647 | 98711 534215 1483899 | 2147483647 69138 532 | 12.936 % |
350.29/350.54 c | 70303 | 98711 534215 1483899 | 2147483647 69794 532 | 12.936 % |
354.48/354.79 c | 71023 | 98660 534215 1483899 | 2147483647 70512 532 | 13.190 % |
360.19/360.41 c | 71816 | 98660 534215 1483899 | 2147483647 71305 537 | 13.190 % |
365.48/365.78 c | 72688 | 98660 534215 1483899 | 2147483647 72177 538 | 13.190 % |
366.28/366.53 c | 72788 | 98660 534215 1483899 | 2147483647 72277 539 | 13.190 % |
367.08/367.38 c | 72899 | 98660 534215 1483899 | 2147483647 72388 539 | 13.190 % |
367.89/368.14 c | 73022 | 98660 534215 1483899 | 2147483647 72511 540 | 13.190 % |
368.29/368.59 c | 73157 | 98660 534215 1483899 | 2147483647 72646 539 | 13.190 % |
369.19/369.46 c | 73303 | 98660 534215 1483899 | 2147483647 72792 539 | 13.190 % |
370.39/370.69 c | 73463 | 98660 534215 1483899 | 2147483647 72952 540 | 13.190 % |
371.38/371.69 c | 73639 | 98660 534215 1483899 | 2147483647 73128 540 | 13.190 % |
372.59/372.88 c | 73832 | 98660 534215 1483899 | 2147483647 73321 540 | 13.190 % |
373.88/374.11 c | 74044 | 98658 534215 1483899 | 2147483647 73532 541 | 13.195 % |
374.88/375.19 c | 74277 | 98658 534215 1483899 | 2147483647 73765 541 | 13.195 % |
376.78/377.09 c | 74538 | 98658 534215 1483899 | 2147483647 74026 544 | 13.195 % |
378.57/378.81 c | 74819 | 98658 534215 1483899 | 2147483647 74307 545 | 13.195 % |
380.48/380.76 c | 75131 | 98658 534215 1483899 | 2147483647 74619 546 | 13.195 % |
382.58/382.87 c | 75470 | 98658 534215 1483899 | 2147483647 74958 548 | 13.195 % |
385.07/385.37 c | 75844 | 98658 534215 1483899 | 2147483647 75332 550 | 13.195 % |
387.68/387.93 c | 76253 | 98658 534215 1483899 | 2147483647 75741 551 | 13.195 % |
390.47/390.74 c | 76703 | 98658 534215 1483899 | 2147483647 76191 552 | 13.195 % |
393.98/394.20 c | 77196 | 98658 534215 1483899 | 2147483647 76684 556 | 13.195 % |
397.77/398.04 c | 77739 | 98657 534215 1483899 | 2147483647 77225 557 | 13.247 % |
401.27/401.57 c | 78336 | 98358 532590 1479490 | 2147483647 77808 557 | 13.247 % |
405.77/406.00 c | 78993 | 98357 532590 1479490 | 2147483647 78464 558 | 13.248 % |
410.07/410.35 c | 79716 | 98356 532590 1479490 | 2147483647 79186 560 | 13.249 % |
415.06/415.40 c | 80513 | 98297 532590 1479490 | 2147483647 79982 562 | 13.328 % |
419.66/419.95 c | 81385 | 98297 532590 1479490 | 2147483647 80854 564 | 13.328 % |
426.66/426.95 c | 82348 | 98296 532590 1479490 | 2147483647 81816 569 | 13.329 % |
427.26/427.56 c | 82449 | 98296 532590 1479490 | 2147483647 81917 569 | 13.329 % |
428.15/428.41 c | 82559 | 98296 532590 1479490 | 2147483647 82027 569 | 13.329 % |
428.76/429.07 c | 82683 | 98296 532590 1479490 | 2147483647 82151 569 | 13.329 % |
429.87/430.15 c | 82817 | 98296 532590 1479490 | 2147483647 82285 569 | 13.329 % |
430.86/431.19 c | 82966 | 98296 532590 1479490 | 2147483647 82434 569 | 13.329 % |
431.76/432.03 c | 83126 | 98296 532590 1479490 | 2147483647 82594 569 | 13.329 % |
432.66/432.99 c | 83302 | 98296 532590 1479490 | 2147483647 82770 568 | 13.329 % |
433.95/434.21 c | 83495 | 98296 532590 1479490 | 2147483647 82963 569 | 13.329 % |
435.15/435.43 c | 83707 | 98296 532590 1479490 | 2147483647 83175 570 | 13.329 % |
436.86/437.17 c | 83941 | 98295 532590 1479490 | 2147483647 83408 571 | 13.330 % |
438.45/438.70 c | 84198 | 98294 532590 1479490 | 2147483647 83664 571 | 13.331 % |
440.15/440.42 c | 84479 | 98294 532590 1479490 | 2147483647 83945 571 | 13.331 % |
442.05/442.39 c | 84795 | 98294 532590 1479490 | 2147483647 84261 571 | 13.331 % |
445.45/445.74 c | 85135 | 98294 532590 1479490 | 2147483647 84601 572 | 13.331 % |
448.15/448.41 c | 85508 | 98294 532590 1479490 | 2147483647 84974 573 | 13.331 % |
450.35/450.68 c | 85917 | 98294 532590 1479490 | 2147483647 85383 573 | 13.331 % |
452.75/453.05 c | 86366 | 98294 532590 1479490 | 2147483647 85832 573 | 13.331 % |
456.05/456.40 c | 86860 | 98294 532590 1479490 | 2147483647 86326 574 | 13.331 % |
459.74/460.08 c | 87402 | 98292 532590 1479490 | 2147483647 86866 575 | 13.347 % |
463.95/464.28 c | 87999 | 98244 532028 1478294 | 2147483647 87401 576 | 13.348 % |
468.44/468.78 c | 88654 | 98244 532028 1478294 | 2147483647 88056 578 | 13.348 % |
473.13/473.49 c | 89378 | 98243 532028 1478294 | 2147483647 88779 579 | 13.348 % |
478.04/478.36 c | 90170 | 98242 532028 1478294 | 2147483647 89570 581 | 13.349 % |
483.93/484.24 c | 91041 | 98242 532028 1478294 | 2147483647 90441 584 | 13.349 % |
491.83/492.19 c | 92000 | 98242 532028 1478294 | 2147483647 91400 588 | 13.349 % |
499.03/499.33 c | 93053 | 98240 532028 1478294 | 2147483647 92451 589 | 13.351 % |
499.43/499.71 c | 93155 | 98240 532028 1478294 | 2147483647 92553 588 | 13.351 % |
499.83/500.15 c | 93265 | 98240 532028 1478294 | 2147483647 92663 588 | 13.351 % |
500.73/501.01 c | 93389 | 98240 532028 1478294 | 2147483647 92787 588 | 13.351 % |
501.63/501.95 c | 93523 | 98236 532028 1478294 | 2147483647 92919 588 | 13.375 % |
502.13/502.47 c | 93674 | 98236 532028 1478294 | 2147483647 93070 587 | 13.375 % |
503.62/503.90 c | 93835 | 98236 532028 1478294 | 2147483647 93231 588 | 13.375 % |
505.12/505.48 c | 94012 | 98235 532028 1478294 | 2147483647 93407 588 | 13.376 % |
506.22/506.58 c | 94208 | 98235 532028 1478294 | 2147483647 93603 588 | 13.376 % |
507.63/507.92 c | 94420 | 98235 532028 1478294 | 2147483647 93815 589 | 13.376 % |
509.13/509.48 c | 94653 | 98233 532028 1478294 | 2147483647 94046 590 | 13.377 % |
510.33/510.68 c | 94909 | 98233 532028 1478294 | 2147483647 94302 589 | 13.377 % |
511.83/512.15 c | 95191 | 98233 532028 1478294 | 2147483647 94584 589 | 13.377 % |
514.02/514.35 c | 95503 | 98233 532028 1478294 | 2147483647 94896 588 | 13.377 % |
516.22/516.53 c | 95847 | 98233 532028 1478294 | 2147483647 95240 588 | 13.377 % |
519.62/519.93 c | 96224 | 98233 532028 1478294 | 2147483647 95617 589 | 13.377 % |
521.82/522.16 c | 96633 | 98233 532028 1478294 | 2147483647 96026 589 | 13.377 % |
525.32/525.62 c | 97082 | 98233 532028 1478294 | 2147483647 96475 590 | 13.378 % |
528.31/528.67 c | 97578 | 98233 532028 1478294 | 2147483647 96971 590 | 13.377 % |
532.12/532.49 c | 98124 | 98233 532028 1478294 | 2147483647 97517 590 | 13.377 % |
535.91/536.25 c | 98722 | 98233 532028 1478294 | 2147483647 98115 591 | 13.377 % |
539.81/540.14 c | 99379 | 98232 532028 1478294 | 2147483647 98771 591 | 13.378 % |
545.81/546.16 c | 100099 | 98232 532028 1478294 | 2147483647 99491 592 | 13.378 % |
550.40/550.76 c | 100891 | 98209 531846 1477858 | 2147483647 100278 591 | 13.378 % |
554.61/554.91 c | 101763 | 98206 531846 1477858 | 2147483647 101149 590 | 13.390 % |
560.61/560.92 c | 102723 | 98205 531846 1477858 | 2147483647 102108 590 | 13.391 % |
568.30/568.60 c | 103776 | 98205 531846 1477858 | 2147483647 103161 591 | 13.391 % |
574.60/574.98 c | 104934 | 98205 531846 1477858 | 2147483647 104319 592 | 13.391 % |
575.30/575.64 c | 105034 | 98205 531846 1477858 | 2147483647 104419 592 | 13.391 % |
576.00/576.34 c | 105144 | 98204 531846 1477858 | 2147483647 104528 592 | 13.471 % |
577.00/577.33 c | 105266 | 98204 531846 1477858 | 2147483647 104650 593 | 13.471 % |
578.09/578.48 c | 105399 | 98204 531846 1477858 | 2147483647 104783 593 | 13.471 % |
579.19/579.59 c | 105548 | 98204 531846 1477858 | 2147483647 104932 593 | 13.471 % |
580.39/580.78 c | 105708 | 98204 531846 1477858 | 2147483647 105092 593 | 13.471 % |
581.40/581.71 c | 105884 | 98204 531846 1477858 | 2147483647 105268 593 | 13.471 % |
582.40/582.79 c | 106077 | 98204 531846 1477858 | 2147483647 105461 593 | 13.471 % |
583.20/583.58 c | 106292 | 98202 531846 1477858 | 2147483647 105675 592 | 13.482 % |
585.39/585.75 c | 106528 | 98202 531846 1477858 | 2147483647 105911 592 | 13.482 % |
586.79/587.15 c | 106784 | 98202 531846 1477858 | 2147483647 106167 592 | 13.482 % |
589.09/589.46 c | 107065 | 98202 531846 1477858 | 2147483647 106448 593 | 13.482 % |
591.09/591.49 c | 107375 | 98202 531846 1477858 | 2147483647 106758 593 | 13.482 % |
594.39/594.72 c | 107714 | 98202 531846 1477858 | 2147483647 107097 593 | 13.482 % |
596.89/597.27 c | 108089 | 98201 531846 1477858 | 2147483647 107471 594 | 13.482 % |
599.59/599.90 c | 108502 | 98200 531846 1477858 | 2147483647 107883 594 | 13.483 % |
602.88/603.21 c | 108951 | 98200 531846 1477858 | 2147483647 108332 595 | 13.483 % |
605.89/606.28 c | 109446 | 98200 531846 1477858 | 2147483647 108827 594 | 13.483 % |
610.09/610.46 c | 109989 | 98200 531846 1477858 | 2147483647 109370 595 | 13.483 % |
613.88/614.26 c | 110586 | 98200 531846 1477858 | 2147483647 109967 597 | 13.483 % |
617.18/617.55 c | 111241 | 98199 531846 1477858 | 2147483647 110621 597 | 13.495 % |
622.28/622.65 c | 111961 | 98199 531846 1477858 | 2147483647 111341 599 | 13.495 % |
627.28/627.64 c | 112753 | 98199 531846 1477858 | 2147483647 112133 600 | 13.495 % |
631.97/632.39 c | 113626 | 98199 531846 1477858 | 2147483647 113006 602 | 13.495 % |
638.47/638.87 c | 114584 | 98075 531087 1475877 | 2147483647 113949 603 | 13.497 % |
642.27/642.65 c | 115638 | 98075 531087 1475877 | 2147483647 115003 600 | 13.497 % |
649.87/650.28 c | 116805 | 98075 531087 1475877 | 2147483647 116170 603 | 13.497 % |
659.77/660.10 c | 118079 | 98075 531087 1475877 | 2147483647 117444 608 | 13.497 % |
660.17/660.52 c | 118184 | 98075 531087 1475877 | 2147483647 117549 608 | 13.497 % |
661.07/661.42 c | 118294 | 98075 531087 1475877 | 2147483647 117659 608 | 13.497 % |
662.07/662.48 c | 118417 | 98073 531087 1475877 | 2147483647 117780 608 | 13.498 % |
662.97/663.30 c | 118552 | 98073 531087 1475877 | 2147483647 117915 608 | 13.498 % |
663.86/664.29 c | 118699 | 98073 531087 1475877 | 2147483647 118062 608 | 13.498 % |
665.07/665.48 c | 118859 | 98071 531087 1475877 | 2147483647 118221 608 | 13.516 % |
666.36/666.73 c | 119038 | 98071 531087 1475877 | 2147483647 118400 608 | 13.516 % |
666.86/667.27 c | 119235 | 98071 531087 1475877 | 2147483647 118597 607 | 13.516 % |
668.26/668.69 c | 119447 | 98071 531087 1475877 | 2147483647 118809 607 | 13.516 % |
669.76/670.15 c | 119680 | 98071 531087 1475877 | 2147483647 119042 607 | 13.516 % |
671.56/671.96 c | 119936 | 98071 531087 1475877 | 2147483647 119298 608 | 13.516 % |
673.16/673.59 c | 120217 | 98071 531087 1475877 | 2147483647 119579 608 | 13.516 % |
675.46/675.87 c | 120526 | 98071 531087 1475877 | 2147483647 119888 610 | 13.516 % |
677.66/678.06 c | 120868 | 98071 531087 1475877 | 2147483647 120230 609 | 13.516 % |
679.85/680.27 c | 121241 | 98069 531087 1475877 | 2147483647 120601 609 | 13.557 % |
682.56/682.98 c | 121650 | 98069 531087 1475877 | 2147483647 121010 609 | 13.557 % |
685.65/686.00 c | 122099 | 98067 531087 1475877 | 2147483647 121457 609 | 13.559 % |
688.76/689.16 c | 122593 | 98067 531087 1475877 | 2147483647 121951 609 | 13.559 % |
692.75/693.15 c | 123139 | 98067 531087 1475877 | 2147483647 122497 609 | 13.559 % |
698.65/699.03 c | 123736 | 98067 531087 1475877 | 2147483647 123094 610 | 13.559 % |
703.05/703.40 c | 124392 | 98067 531087 1475877 | 2147483647 123750 612 | 13.559 % |
708.75/709.18 c | 125112 | 98066 531087 1475877 | 2147483647 124469 613 | 13.560 % |
716.04/716.46 c | 125910 | 98065 531087 1475877 | 2147483647 125266 616 | 13.561 % |
721.14/721.51 c | 126787 | 98065 531087 1475877 | 2147483647 126143 615 | 13.561 % |
731.64/732.00 c | 127753 | 98065 531087 1475877 | 2147483647 127109 617 | 13.561 % |
739.63/740.07 c | 128807 | 98063 531087 1475877 | 2147483647 128160 619 | 13.566 % |
747.73/748.18 c | 129965 | 98063 531087 1475877 | 2147483647 129317 621 | 13.573 % |
757.92/758.36 c | 131239 | 98063 531087 1475877 | 2147483647 130591 623 | 13.573 % |
768.82/769.29 c | 132640 | 97988 530650 1474728 | 2147483647 131979 627 | 13.573 % |
769.72/770.19 c | 132741 | 97988 530650 1474728 | 2147483647 132080 627 | 13.573 % |
770.42/770.84 c | 132851 | 97988 530650 1474728 | 2147483647 132190 627 | 13.573 % |
771.42/771.86 c | 132978 | 97988 530650 1474728 | 2147483647 132317 627 | 13.573 % |
772.22/772.66 c | 133123 | 97988 530650 1474728 | 2147483647 132462 627 | 13.573 % |
772.62/773.08 c | 133271 | 97985 530650 1474728 | 2147483647 132608 627 | 13.585 % |
774.32/774.79 c | 133433 | 97985 530650 1474728 | 2147483647 132770 626 | 13.585 % |
775.81/776.20 c | 133611 | 97985 530650 1474728 | 2147483647 132948 627 | 13.585 % |
777.11/777.56 c | 133806 | 97984 530650 1474728 | 2147483647 133142 627 | 13.586 % |
778.32/778.78 c | 134019 | 97984 530650 1474728 | 2147483647 133355 627 | 13.586 % |
780.01/780.44 c | 134254 | 97984 530650 1474728 | 2147483647 133590 627 | 13.586 % |
781.82/782.25 c | 134510 | 97982 530650 1474728 | 2147483647 133845 628 | 13.601 % |
783.52/783.92 c | 134791 | 97982 530650 1474728 | 2147483647 134126 628 | 13.601 % |
785.51/785.98 c | 135101 | 97982 530650 1474728 | 2147483647 134436 628 | 13.601 % |
788.61/789.00 c | 135441 | 97982 530650 1474728 | 2147483647 134776 628 | 13.601 % |
790.91/791.33 c | 135813 | 97982 530650 1474728 | 2147483647 135148 629 | 13.601 % |
793.82/794.30 c | 136222 | 97982 530650 1474728 | 2147483647 135557 629 | 13.601 % |
797.21/797.63 c | 136671 | 97981 530650 1474728 | 2147483647 136005 630 | 13.602 % |
800.80/801.20 c | 137165 | 97981 530650 1474728 | 2147483647 136499 631 | 13.602 % |
804.51/804.91 c | 137710 | 97981 530650 1474728 | 2147483647 137044 632 | 13.602 % |
808.80/809.26 c | 138308 | 97981 530650 1474728 | 2147483647 137642 633 | 13.602 % |
813.60/814.06 c | 138963 | 97981 530650 1474728 | 2147483647 138297 635 | 13.602 % |
819.30/819.76 c | 139690 | 97981 530650 1474728 | 2147483647 139024 636 | 13.602 % |
825.59/826.01 c | 140484 | 97980 530650 1474728 | 2147483647 139817 637 | 13.602 % |
832.09/832.54 c | 141357 | 97945 530650 1474728 | 2147483647 140688 638 | 13.647 % |
839.69/840.18 c | 142316 | 97945 530650 1474728 | 2147483647 141647 639 | 13.647 % |
847.09/847.55 c | 143369 | 97945 530650 1474728 | 2147483647 142700 640 | 13.647 % |
856.88/857.33 c | 144528 | 97945 530650 1474728 | 2147483647 143859 642 | 13.647 % |
865.68/866.12 c | 145802 | 97945 530650 1474728 | 2147483647 145133 642 | 13.647 % |
876.37/876.82 c | 147202 | 97944 530650 1474728 | 2147483647 146532 647 | 13.648 % |
889.97/890.43 c | 148743 | 97944 530650 1474728 | 2147483647 148073 649 | 13.648 % |
890.87/891.33 c | 148844 | 97944 530650 1474728 | 2147483647 148174 649 | 13.648 % |
891.87/892.33 c | 148959 | 97944 530650 1474728 | 2147483647 148289 649 | 13.648 % |
892.67/893.10 c | 149080 | 97944 530650 1474728 | 2147483647 148410 649 | 13.648 % |
893.47/893.97 c | 149213 | 97944 530650 1474728 | 2147483647 148543 649 | 13.648 % |
895.07/895.60 c | 149360 | 97943 530650 1474728 | 2147483647 148689 649 | 13.649 % |
896.27/896.77 c | 149520 | 97943 530650 1474728 | 2147483647 148849 649 | 13.649 % |
897.57/898.04 c | 149697 | 97943 530650 1474728 | 2147483647 149026 649 | 13.649 % |
899.17/899.69 c | 149891 | 97943 530650 1474728 | 2147483647 149220 649 | 13.649 % |
900.57/901.06 c | 150107 | 97943 530650 1474728 | 2147483647 149436 649 | 13.649 % |
902.86/903.34 c | 150340 | 97902 530211 1473726 | 2147483647 149651 648 | 13.649 % |
904.46/904.98 c | 150597 | 97902 530211 1473726 | 2147483647 149908 649 | 13.649 % |
906.16/906.68 c | 150878 | 97902 530211 1473726 | 2147483647 150189 648 | 13.649 % |
908.27/908.74 c | 151187 | 97902 530211 1473726 | 2147483647 150498 649 | 13.649 % |
911.47/911.98 c | 151526 | 97902 530211 1473726 | 2147483647 150837 649 | 13.649 % |
913.96/914.49 c | 151898 | 97901 530211 1473726 | 2147483647 151208 649 | 13.650 % |
916.96/917.48 c | 152307 | 97901 530211 1473726 | 2147483647 151617 649 | 13.650 % |
920.86/921.39 c | 152758 | 97901 530211 1473726 | 2147483647 152068 650 | 13.650 % |
924.25/924.72 c | 153251 | 97901 530211 1473726 | 2147483647 152561 650 | 13.650 % |
931.16/931.64 c | 153797 | 97901 530211 1473726 | 2147483647 153107 650 | 13.650 % |
937.35/937.85 c | 154393 | 97895 530211 1473726 | 2147483647 153699 650 | 13.671 % |
943.45/943.93 c | 155050 | 97895 530211 1473726 | 2147483647 154356 651 | 13.671 % |
948.86/949.32 c | 155773 | 97894 530211 1473726 | 2147483647 155078 650 | 13.672 % |
955.04/955.50 c | 156566 | 97894 530211 1473726 | 2147483647 155871 651 | 13.672 % |
961.05/961.54 c | 157437 | 97893 530211 1473726 | 2147483647 156741 650 | 13.673 % |
969.55/970.04 c | 158398 | 97893 530211 1473726 | 2147483647 157702 651 | 13.673 % |
976.94/977.42 c | 159451 | 97893 530211 1473726 | 2147483647 158755 651 | 13.673 % |
984.94/985.40 c | 160609 | 97893 530211 1473726 | 2147483647 159913 652 | 13.673 % |
995.74/996.22 c | 161884 | 97892 530211 1473726 | 2147483647 161187 653 | 13.674 % |
1005.73/1006.21 c | 163284 | 97891 530211 1473726 | 2147483647 162586 656 | 13.675 % |
1019.52/1020.04 c | 164824 | 97891 530211 1473726 | 2147483647 164126 658 | 13.675 % |
1034.52/1035.06 c | 166518 | 97891 530211 1473726 | 2147483647 165820 663 | 13.675 % |
1035.62/1036.16 c | 166618 | 97891 530211 1473726 | 2147483647 165920 663 | 13.675 % |
1036.52/1037.04 c | 166728 | 97891 530211 1473726 | 2147483647 166030 663 | 13.675 % |
1037.52/1038.04 c | 166850 | 97891 530211 1473726 | 2147483647 166152 663 | 13.675 % |
1038.52/1039.01 c | 166983 | 97891 530211 1473726 | 2147483647 166285 663 | 13.675 % |
1039.72/1040.25 c | 167130 | 97891 530211 1473726 | 2147483647 166432 663 | 13.675 % |
1041.12/1041.63 c | 167293 | 97891 530211 1473726 | 2147483647 166595 663 | 13.675 % |
1041.52/1042.09 c | 167469 | 97891 530211 1473726 | 2147483647 166771 663 | 13.675 % |
1043.11/1043.65 c | 167664 | 97891 530211 1473726 | 2147483647 166966 663 | 13.675 % |
1044.21/1044.78 c | 167877 | 97891 530211 1473726 | 2147483647 167179 663 | 13.675 % |
1046.41/1046.99 c | 168110 | 97891 530211 1473726 | 2147483647 167412 663 | 13.675 % |
1048.71/1049.30 c | 168368 | 97890 530211 1473726 | 2147483647 167669 663 | 13.676 % |
1050.90/1051.46 c | 168649 | 97890 530211 1473726 | 2147483647 167950 664 | 13.676 % |
1054.00/1054.56 c | 168958 | 97890 530211 1473726 | 2147483647 168259 664 | 13.676 % |
1056.81/1057.30 c | 169297 | 97890 530211 1473726 | 2147483647 168598 665 | 13.676 % |
1059.60/1060.13 c | 169669 | 97890 530211 1473726 | 2147483647 168970 665 | 13.676 % |
1063.21/1063.76 c | 170082 | 97889 530211 1473726 | 2147483647 169382 666 | 13.676 % |
1065.91/1066.46 c | 170533 | 97889 530211 1473726 | 2147483647 169833 665 | 13.676 % |
1069.71/1070.25 c | 171029 | 97869 530211 1473726 | 2147483647 170325 664 | 13.796 % |
1071.60/1072.15 c | 171571 | 97869 530211 1473726 | 2147483647 170867 664 | 13.796 % |
1078.29/1078.82 c | 172167 | 97869 530211 1473726 | 2147483647 171463 665 | 13.796 % |
1085.10/1085.67 c | 172824 | 97734 529437 1472083 | 2147483647 172112 665 | 13.797 % |
1091.59/1092.10 c | 173544 | 97733 529437 1472083 | 2147483647 172831 666 | 13.798 % |
1097.59/1098.18 c | 174336 | 97733 529437 1472083 | 2147483647 173623 667 | 13.798 % |
1103.18/1103.79 c | 175207 | 97733 529437 1472083 | 2147483647 174494 666 | 13.798 % |
1110.28/1110.80 c | 176167 | 97732 529437 1472083 | 2147483647 175453 667 | 13.799 % |
1119.89/1120.44 c | 177221 | 97732 529437 1472083 | 2147483647 176507 669 | 13.799 % |
1130.29/1130.80 c | 178381 | 97732 529437 1472083 | 2147483647 177667 670 | 13.799 % |
1140.37/1140.98 c | 179654 | 97732 529437 1472083 | 2147483647 178940 672 | 13.799 % |
1152.17/1152.75 c | 181055 | 97732 529437 1472083 | 2147483647 180341 674 | 13.799 % |
1166.17/1166.73 c | 182595 | 97732 529437 1472083 | 2147483647 181881 675 | 13.799 % |
1180.86/1181.46 c | 184290 | 97732 529437 1472083 | 2147483647 183575 677 | 13.800 % |
1197.36/1197.97 c | 186153 | 97731 529437 1472083 | 2147483647 185437 678 | 13.801 % |
1198.15/1198.78 c | 186255 | 97731 529437 1472083 | 2147483647 185539 678 | 13.801 % |
1199.45/1200.03 c | 186365 | 97731 529437 1472083 | 2147483647 185649 678 | 13.801 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832021-1242766654/watcher-1832021-1242766654 -o /tmp/evaluation-result-1832021-1242766654/solver-1832021-1242766654 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832021-1242766654.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 20817
/proc/meminfo: memFree=1903472/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=0
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304694029 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 266890608722 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/20817/statm: 1339 235 195 169 0 50 0
[pid=20818] ppid=20817 vsize=5356 CPUtime=0
/proc/20818/stat : 20818 (SatELiteGTI) S 20817 20817 20563 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 304694030 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/20818/statm: 1339 238 198 169 0 50 0
[pid=20820] ppid=20818 vsize=2608 CPUtime=0
/proc/20820/stat : 20820 (sed) R 20818 20817 20563 0 -1 4194304 159 0 0 0 0 0 0 0 23 0 1 0 304694030 2670592 132 1992294400 4194304 4240196 548682069056 18446744073709551615 266890285793 0 0 4096 0 0 0 0 17 1 0 0
/proc/20820/statm: 653 134 106 11 0 57 0
[startup+0.0816099 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 20817
/proc/meminfo: memFree=1903472/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=0
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304694029 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20817/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102614 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 20817
/proc/meminfo: memFree=1903472/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=0
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304694029 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20817/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30165 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 20817
/proc/meminfo: memFree=1903472/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=0
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304694029 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20817/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701727 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 20817
/proc/meminfo: memFree=1903472/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=0
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304694029 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20817/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50187 s]
/proc/loadavg: 1.08 1.02 1.00 2/66 20822
/proc/meminfo: memFree=1804128/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=0
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304694029 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20817/statm: 1339 237 197 169 0 50 0
[pid=20822] ppid=20817 vsize=113964 CPUtime=1.48
/proc/20822/stat : 20822 (SatELite_releas) R 20817 20817 20563 0 -1 4194304 29112 0 0 0 131 17 0 0 25 0 1 0 304694030 116699136 26479 1992294400 134512640 135223648 4294956128 18446744073709551615 134576622 0 0 4096 3 0 0 0 17 1 0 0
/proc/20822/statm: 28491 26480 76 173 0 28316 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 119320
[startup+3.10117 s]
/proc/loadavg: 1.08 1.02 1.00 2/66 20822
/proc/meminfo: memFree=1791264/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=0
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304694029 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20817/statm: 1339 237 197 169 0 50 0
[pid=20822] ppid=20817 vsize=123704 CPUtime=3.08
/proc/20822/stat : 20822 (SatELite_releas) R 20817 20817 20563 0 -1 4194304 30997 0 0 0 289 19 0 0 25 0 1 0 304694030 126672896 28184 1992294400 134512640 135223648 4294956128 18446744073709551615 134587334 0 0 4096 3 0 0 0 17 1 0 0
/proc/20822/statm: 30926 28184 76 173 0 30751 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 129060
[startup+6.30278 s]
/proc/loadavg: 1.08 1.02 1.00 2/66 20822
/proc/meminfo: memFree=1783528/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=0
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304694029 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20817/statm: 1339 237 197 169 0 50 0
[pid=20822] ppid=20817 vsize=126200 CPUtime=6.29
/proc/20822/stat : 20822 (SatELite_releas) R 20817 20817 20563 0 -1 4194304 34064 0 0 0 607 22 0 0 25 0 1 0 304694030 129228800 28875 1992294400 134512640 135223648 4294956128 18446744073709551615 134586909 0 0 4096 3 0 0 0 17 1 0 0
/proc/20822/statm: 31550 28875 76 173 0 31375 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 131556
[startup+12.702 s]
/proc/loadavg: 1.15 1.03 1.00 2/66 20823
/proc/meminfo: memFree=1848744/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=38320 CPUtime=4.18
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 8964 0 0 0 412 6 0 0 25 0 1 0 304694881 39239680 8913 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 9580 8913 77 171 0 9407 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 43676
[startup+25.5014 s]
/proc/loadavg: 1.12 1.03 1.00 2/66 20823
/proc/meminfo: memFree=1845544/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=41756 CPUtime=16.96
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 9825 0 0 0 1689 7 0 0 25 0 1 0 304694881 42758144 9774 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 10439 9774 77 171 0 10266 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 47112
[startup+51.1013 s]
/proc/loadavg: 1.08 1.03 1.00 2/66 20823
/proc/meminfo: memFree=1835624/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=51944 CPUtime=42.54
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 12352 0 0 0 4245 9 0 0 25 0 1 0 304694881 53190656 12301 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 12986 12301 77 171 0 12813 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 57300
[startup+102.305 s]
/proc/loadavg: 1.03 1.02 1.00 2/66 20823
/proc/meminfo: memFree=1812904/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=74368 CPUtime=93.73
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 17956 0 0 0 9358 15 0 0 25 0 1 0 304694881 76152832 17905 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 18592 17905 77 171 0 18419 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 79724
[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 20823
/proc/meminfo: memFree=1786536/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=100896 CPUtime=153.69
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 24590 0 0 0 15348 21 0 0 25 0 1 0 304694881 103317504 24539 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 25224 24539 77 171 0 25051 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 106252
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 20829
/proc/meminfo: memFree=1758248/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=128848 CPUtime=213.66
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 31559 0 0 0 21338 28 0 0 25 0 1 0 304694881 131940352 31508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 32212 31508 77 171 0 32039 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 134204
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20829
/proc/meminfo: memFree=1729320/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=158040 CPUtime=273.64
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 38867 0 0 0 27329 35 0 0 25 0 1 0 304694881 161832960 38816 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 39510 38816 77 171 0 39337 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 163396
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20829
/proc/meminfo: memFree=1700584/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=186160 CPUtime=333.62
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 45899 0 0 0 33319 43 0 0 25 0 1 0 304694881 190627840 45848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 46540 45848 77 171 0 46367 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 191516
[startup+402.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 20829
/proc/meminfo: memFree=1672296/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=214620 CPUtime=393.59
################
# More data... #
################
/proc/20823/statm: 66922 66212 77 171 0 66749 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 273044
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20829
/proc/meminfo: memFree=1594792/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=291664 CPUtime=573.52
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 72252 0 0 0 57285 67 0 0 25 0 1 0 304694881 298663936 72201 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 72916 72201 77 171 0 72743 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 297020
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20829
/proc/meminfo: memFree=1568040/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=317976 CPUtime=633.5
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 78838 0 0 0 63278 72 0 0 25 0 1 0 304694881 325607424 78787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 79494 78787 77 171 0 79321 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 323332
[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20829
/proc/meminfo: memFree=1541608/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=344696 CPUtime=693.47
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 85516 0 0 0 69269 78 0 0 25 0 1 0 304694881 352968704 85465 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 86174 85465 77 171 0 86001 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 350052
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20829
/proc/meminfo: memFree=1515304/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=370388 CPUtime=753.45
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 91963 0 0 0 75260 85 0 0 25 0 1 0 304694881 379277312 91912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 92597 91912 77 171 0 92424 0
Current children cumulated CPU time (s) 761.93
Current children cumulated vsize (KiB) 375744
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20829
/proc/meminfo: memFree=1488616/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=397420 CPUtime=813.42
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 98667 0 0 0 81252 90 0 0 25 0 1 0 304694881 406958080 98616 1992294400 134512640 135215339 4294956240 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 99355 98616 77 171 0 99182 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 402776
[startup+882.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 20829
/proc/meminfo: memFree=1461416/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=424272 CPUtime=873.4
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 105390 0 0 0 87245 95 0 0 25 0 1 0 304694881 434454528 105339 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 106068 105339 77 171 0 105895 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 429628
[startup+942.301 s]
/proc/loadavg: 1.12 1.04 1.01 2/66 20829
/proc/meminfo: memFree=1441128/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=444740 CPUtime=933.37
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 110494 0 0 0 93238 99 0 0 25 0 1 0 304694881 455413760 110443 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 111185 110443 77 171 0 111012 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 450096
[startup+1002.3 s]
/proc/loadavg: 1.09 1.04 1.01 2/66 20829
/proc/meminfo: memFree=1417384/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=468100 CPUtime=993.35
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 116350 0 0 0 99229 106 0 0 25 0 1 0 304694881 479334400 116299 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 117025 116299 77 171 0 116852 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 473456
[startup+1062.3 s]
/proc/loadavg: 1.07 1.05 1.01 2/66 20829
/proc/meminfo: memFree=1391336/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=494344 CPUtime=1053.32
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 122903 0 0 0 105222 110 0 0 25 0 1 0 304694881 506208256 122852 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 123586 122852 77 171 0 123413 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 499700
[startup+1122.3 s]
/proc/loadavg: 1.06 1.05 1.01 2/66 20829
/proc/meminfo: memFree=1368424/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=516784 CPUtime=1113.3
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 128535 0 0 0 111215 115 0 0 25 0 1 0 304694881 529186816 128484 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 129196 128484 77 171 0 129023 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 522140
[startup+1182.3 s]
/proc/loadavg: 1.06 1.05 1.01 2/66 20829
/proc/meminfo: memFree=1343976/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=541240 CPUtime=1173.28
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 134650 0 0 0 117207 121 0 0 25 0 1 0 304694881 554229760 134599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 135310 134599 77 171 0 135137 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 546596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.11 1.07 1.01 2/66 20829
/proc/meminfo: memFree=1336808/2055920 swapFree=4177156/4192956
[pid=20817] ppid=20815 vsize=5356 CPUtime=8.48
/proc/20817/stat : 20817 (SatELiteGTI) S 20815 20817 20563 0 -1 4194304 336 44033 0 0 0 0 816 32 16 0 1 0 304694029 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20817/statm: 1339 239 197 169 0 50 0
[pid=20823] ppid=20817 vsize=548036 CPUtime=1191.57
/proc/20823/stat : 20823 (minisat_static) R 20817 20817 20563 0 -1 4194304 136367 0 0 0 119035 122 0 0 25 0 1 0 304694881 561188864 136316 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 1 0 0
/proc/20823/statm: 137009 136316 77 171 0 136836 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 553392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20817 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=161759
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=330949
# CPU time returned by wait4() is 8.49271
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.05
CPU user time (s): 1198.51
CPU system time (s): 1.54
CPU usage (%): 99.9532
Max. virtual memory (cumulated for all children) (KiB): 553392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.16176
system time used= 0.330949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44369
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= 15
involuntary context switches= 48
runsolver used 1.42878 second user time and 2.96655 second system time
The end
Begin job on node38 at 2009-05-19 22:57:36
IDJOB=1832021
IDBENCH=20373
IDSOLVER=671
FILE ID=node38/1832021-1242766654
PBS_JOBID= 9322260
Free space on /tmp= 66224 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-10-13-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832021-1242766654/watcher-1832021-1242766654 -o /tmp/evaluation-result-1832021-1242766654/solver-1832021-1242766654 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832021-1242766654.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ec1a03bc95c5b06907199f7ae65ad092
RANDOM SEED=1827435158
node38.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.265
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.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1904016 kB
Buffers: 16196 kB
Cached: 93864 kB
SwapCached: 9960 kB
Active: 63536 kB
Inactive: 59128 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1904016 kB
SwapTotal: 4192956 kB
SwapFree: 4177156 kB
Dirty: 20440 kB
Writeback: 0 kB
Mapped: 14036 kB
Slab: 15224 kB
Committed_AS: 1077996 kB
PageTables: 1456 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= 66204 MiB
End job on node38 at 2009-05-19 23:17:38